Negation as Failure (1985)

by J C Shepherdson
Venue:II, J. Logic Programming