Negation as Inconsistency in PROLOG via Intuitionistic Logic.

Alexey Gomolko

Browse the full CSL paper archive.