Cut-property and negation as failure (1994)

by R F Stärk
Venue:International Journal of Foundations of Computer Science