Answer sets and negation-as-failure (1987)

by K Kunen
Venue:In Proceedings of the Fourth International Conference on Logic Programming (ICLP ’87), J.-L. Lassez, Ed