On The Relantionship Between Logic Programming and Nonmonotonic Reasoning (1988)

by T C Przymusinski
Venue:Proceedings of ICLP'90