TY  - BOOK
AU  - Borger, E. Ed.
AU  - Kleine Buning, H. Ed.
AU  - Richter, M M. Ed.
TI  - CSL '89: Proceedings, 3rd Workshop, FRG, 1989
SN  - 3540537532
CY  - Berlin
KW  - Computer Science Logic
ER  -