Title: Automated reasoning with analytic tableaux and related methods
First published: 1999
Subjects: Congresses, Automatic theorem proving
LC classification: QA76.9.A96 T33 1999