Title: Automated reasoning with analytic tableaux and related methods
First published: 2005
Subjects: Congresses, Automatic theorem proving