TY  - BOOK
AU  - Borger E Ed.
AU  -  Buning H K Ed.
AU  -  Richter M M Ed.
ED  - Workshop on computer science logic (2 : 1988 : Duisburg)
TI  - Proceeding on CSL`88
T2  - Lecture notes in computer science; 385
U1  - D65,8(B):(R1)p1,N88, M9 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer science
ER  -