1
Computational Logic — CL 2000 [E-Book] : First International Conference London, UK, July 24–28, 2000 Proceedings /