TY  - BOOK
AU  - Borger, E. Ed.
AU  - Kleine Buning, H. Ed.
AU  - Richter, M M Ed.
TI  - CSL '88: Proceedings, 2nd Workshop, Duisburg, FRG, 1988
SN  - 354051659X
CY  - Berlin
KW  - Computer Science Logic
ER  -