Negation as Failure in Intuitionistic Logic Programming.

Laura Giordano, Nicola Olivetti

Browse the full ICLP paper archive.