Y. Chen, Y. Zhang, and Y. Zhou, “First-Order Indefinability of Answer Set Programs on Finite Structures”, AAAI, vol. 24, no. 1, pp. 285–290, Jul. 2010.