TY  - BOOK
AU  - Dyckhoff, R.:
TI  - Automated Reasoning with Analytical Tableaux and Related Methods :  Lecture Notes in Computer Science : Processing
SN  - 354067697X
U1  - 006.3 
PB  - Springer: Tokyo
KW  - Artificial Intelligence : Automated Reasoning
ER  -