TY  - BOOK
AU  - Nieuwenhuis,Robert
ED  - International Conference on Automated Deduction
ED  - SpringerLink (Online service)
TI  - Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings 
SN  - 9783540318644 (electronic bk.)
U1  - 006.3 22
PY  - 2005///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Automatic theorem proving
KW  - Congresses
KW  - Logic, Symbolic and mathematical
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11532231
ER  -