Proceedings of the 23rd international conference on Logic programming
Authors:
Verónica Dahl;Ilkka Niemelä
Affiliations:
Simon Fraser University, School of Computing Science, Burnaby, BC, Canada;Helsinki University of Technology, Department of Computer Science and Engineering, Finland
Venue:
ICLP'07 Proceedings of the 23rd international conference on Logic programming