Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 2003, Rome, Italy, September 2003

В2.11.

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 2003, Rome, Italy, September 2003Ed. by Mayer M. C., Pirri F..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2796.-271 p.-(Lecture Notes in Artificial Intelligence).