- German Conference on Artificial Intelligence KI'08, volume 5243 of LNAI, page 78--86. Springer-Verlag, (2008)
- Proceedings of the 5th International Symposium on Functional and Logic Programming FLOPS'01, volume 2024 of LNCS, page 233--247. Springer-Verlag, (2001)
- Proceedings of the International Joint Conference on Artificial Intelligence IJCAI'93, (1993)
- Proceedings of the Joint Conference on Declarative Programming, (1998)


user