in COMPUTATIONAL LOGIC - CL 2000 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 1861, Pages: 1285-1299 (15)
Conference
1St International Conference on Computational Logic, Cl 2000, Date: 24 July 2000 through 28 July 2000, Location: London, Sponsors: Association for Logic Programming;ESPRIT Network of Excellence in Computational Logic