TY  - BOOK
AU  - Börger,E.
AU  - 
AU  - Richter,Michael M.
ED  - Workshop on Computer Science Logic
TI  - Lecture notes in computer science CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
U1  - 001.64 
PY  - 1989///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Computer science
KW  - Mathematics
KW  - Congresses
KW  - Logic, Symbolic and mathematical
UR  - http://link.springer.com/book/10.1007/BFb0026291
ER  -