A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.

Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato

Browse the full CSL paper archive.