TY  - GEN
AU  - Borger, E.
TI  - COMPUTER SCIENCE LOGIC
SN  - 354055789x
U1  - 001.64 
PY  - 1992///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer Science-Congresses
UR  - http://link.springer.com/bookseries/558
ER  -