TY  - BOOK
AU  - Fribourg, Laurent. Ed.
TI  - Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001
SN  - 3540425543
CY  - Berlin
KW  - Computer Science Logic
ER  -