Negation as failure in intuitionistic logic programming (1992)

by L Giordano, N Olivetti
Venue:Logic Programming, Proc. Joint Internat. Conf. and Symp