First-Order Indefinability of Answer Set Programs on Finite Structures.

Yin Chen, Yan Zhang, Yi Zhou

Browse the full AAAI paper archive.