Negation by securable failure in logic programming (1987)

by J S Schlipf