Logic programs with classical negation, in (1990)

by M Gelfond, V Lifschitz
Venue:Proceedings of the 7th International Conference on Logic Programming