Logic programs with classical negation, in: D.H.D.Warren and P.Szeredi (Eds (1990)

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