1. SPIKE, an automatic theorem prover — revisited;2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2020-09
2. Mechanically certifying formula-based Noetherian induction reasoning;Journal of Symbolic Computation;2017-05
3. Decision Procedures for Proving Inductive Theorems without Induction;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014