TY  - BOOK
AU  - Buning, Hans Kleine. Ed.
TI  - Computer Science Logic: Workshop, 9th International Conference, Germany, 1995
SN  - 3540613773
CY  - Berlin
KW  - Computer Science Logic
ER  -