Negation by securable failure in logic programming. (manuscript (1987)

by J S Schlipf
Venue:University of Cincinnati Department of Computer Science