On constructive negation in logic programming (1990)

by T Przymusinski
Venue:In North American Conference on Logic Programming