A linear axiomatization of negation as failure (1992)

by Serenella Cerrito
Venue:Journal of Logic Programming, 12(1 & 2):l - 24