TY  - BOOK
AU  - Lloyd, John. et al Eds.
TI  - Computational Logic - CL 2000 : Proceedings of the First International Conference, London, 2000
SN  - 3540677976
CY  - Berlin
KW  - Computational Logic
ER  -