Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi. - Alessio Coltellacci (ABZ, 2023)

Reconstruction of SMT Proofs with Lambdapi. - Alessio Coltellacci; Stephan Merz; Gilles Dowek (SMT@CAV, 2024)