TY  - BOOK
AU  - van Dalen, Dirk. Ed.
AU  - Bezem, Marc. Ed.
TI  - Computer Science Logic: 10th Int. Workshop, CSL'96, The Netherlands
SN  - 3540631720
CY  - Berlin
ER  -