TY  - BOOK
AU  - Siekmann J
AU  -  Wrightson G
TI  - Automation of reasopning
U1  - D65,8(B):(R1), M3.2-;1 
PY  - 1983///
CY  - Berlin
PB  - Springer-Verlag         
ER  -