TY  - BOOK
AU  - Borger,E. et al Eds.
TI  - Computer Science Logic: 5th Workshop Proc., CSL '91, Berne, 1991
SN  - 354055789X
CY  - Berlin
KW  - Computer Science Logic
ER  -