selected publications

• academic article

  • First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice.  Journal of Automated Reasoning.  64:1001-1050. 2019
  • EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract).  arXiv (Cornell University).  301:27-35. 2019

• conference paper

  • Linking focusing and resolution with selection.  . 2018