Logic programs with classical negation (1990)

by M Gelfond, V Lifschitz
Venue:In ICLP