TY  - BOOK
AU  - Dyckhoff, Roy. Ed.
TI  - Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of the International Conference, St.Andrews, Scotland, UK, 2000
SN  - 354067697X
CY  - Berlin
KW  - Automated Reasoning
KW  - Analytic Tableaux
ER  -