@book{120081,
	author = {TABLEAUX and Miglioli, P., and International Workshop on Theorem Proving with Analytic Tableaux and Related Methods},
	title = {Theorem proving with analytic tableaux and related methods :},
	publisher = {Springer,},
	year = {1996},
	address = {Berlin :}
}