TY  - BOOK
AU  - Pfenning Frank
ED  - International Conference on Logic Programming and Automated Reasoning( 5th : 1994 : Ukraine )
ED  - International Conference on Logic Programming and Automated Reasoning 5th
TI  - Logic programming and automated reasoning : proceedings
SN  - 0-387-58216-9
U1  - 5.115 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Automated reasoning
KW  - Logic programming
ER  -