Annalisa Bossi, Michael J. Maher: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy. ACM 2006, ISBN 1-59593-388-3