Tableaux and Related Methods. Hähnle, R. In Robinson, J. A. & Voronkov, A., editors, Handbook of Automated Reasoning (in 2 volumes), pages 100–178. Elsevier and MIT Press, 2001.
bibtex   
@InCollection{Haehnle2001,
		  author    = {Reiner H{\"{a}}hnle},
		    title     = {Tableaux and Related Methods},
			  booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
			    publisher = {Elsevier and {MIT} Press},
				  year      = {2001},
				    editor    = {John Alan Robinson and Andrei Voronkov},
					  pages     = {100--178},
					    bibsource = {dblp computer science bibliography, http://dblp.org},
						  biburl    = {http://dblp.dagstuhl.de/rec/bib/books/el/RV01/Hahnle01},
}
Downloads: 0