1. NuITP: An Inductive Theorem Prover for Equational Program Verification;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. 'Descente Infinie' Induction-Based Saturation Procedures;Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007);2007-09
3. Inductive Decidability Using Implicit Induction;Logic for Programming, Artificial Intelligence, and Reasoning;2006
4. Strategic Issues, Problems and Challenges in Inductive Theorem Proving;Electronic Notes in Theoretical Computer Science;2005-03
5. Automatic ‘Descente Infinie’ Induction Reasoning;Lecture Notes in Computer Science;2005