Title: Automated Deduction - CADE-19
First published: September 10, 2003
Subjects: Congresses, Symbolic and mathematical Logic, Automatic theorem proving