The Tableau WorkBench: a framework for building automated tableau-based theorem provers

Title	The Tableau WorkBench: a framework for building automated tableau-based theorem provers
Publication Type	Thesis
Year of Publication	2007
Authors	Abate P
University	The australian national university
City	Canberra
Thesis Type	PhD thesis
URL	papers-download/anuthesis.pdf

Pietro Abate homepage