Answer sets and negation-as-failure (1987)

by K Kunen
Venue:in: J.-L. Lassez (Ed.), Logic Programming, Proc. 4th Internat Conf