Negation as failure in intuitionistic logic programming (1992)

by L Giordano, N Olivetti
Venue:In Logic Programming, Proceedings of the Joint International Conference and Symposium