Logic Programming with Strong Negation and Unexact Predicates (1991)

by G Wagner
Venue:Journal of Logic and Computation