Chen, Y.; Zhang, Y.; Zhou, Y. First-Order Indefinability of Answer Set Programs on Finite Structures. AAAI 2010, 24, 285-290.