Logic programs with classical negation (1990)

by M Gelfond, V Lifschitz
Venue:Logic Programming: Proceedings of the Seventh International Conference