TY  - BOOK
AU  - Borger, E.
AU  - Jager, G., Martini., Richter,M
AU  - Kleine Buning, H
TI  - Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers
SN  - 3540569928
CY  - Berlin
KW  - Computer Science Logic
ER  -