First-Order Indefinability of Answer Set Programs on Finite Structures

Open in new window