TY  - BOOK
AU  - Dalen,Dirk van
AU  - Bezem,Marc
ED  - Workshop on Computer Science Logic
ED  - European Association for Computer Science Logic
TI  - Computer science logic: 10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers 
SN  - 3540631720
AV  - QA76.9 L63 W67 1996
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Computer logic
KW  - Congresses
ER  -