A linear axiomatization of negation as failure (1992)

by S Cerrito
Venue:Journal of Logic Programming