John W. Lloyd; Verónica Dahl; Ulrich Furbach; Manfred Kerber; Kung-Kiu Lau; Catuscia Palamidessi; Luís Moniz Pereira; Yehoshua Sagiv; Peter J. Stuckey
Document Type
Proceedings Paper
Year published
2000
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 1861 LNAI, Pages: 1285-1299
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