2004

1. A logic programming approach to the verification of functional-logic programs

   Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04