Gracefully adding negation and disjunction to Prolog (1986)

by D L Poole, R Goebel
Venue:Proceedings ICLP'86, pages 635--641, Springer-Verlag, LNCS 225