TY  - BOOK
AU  - Orloswska Ewa
TI  - Theorem-proving systems
T2  - Dissertations mathematicae; 103
U1  - B, L34 
CY  - Warszawa
PB  - Panstwowe Wydawnictwo Naukowa       
ER  -