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

Alessandro Avellone Camillo Fiorentini Guido Fiorino Ugo Moscato A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. 488-502 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3210&spage=488 2004 conf/csl/2004 CSL db/conf/csl/csl2004.html#AvelloneFFM04