Vol-3724⫷ Vol-3725 ⫸Vol-3726
urn:nbn:de:0074-3725-0


Vol-3725/paper3⫷Vol-3725/paper8⫸Vol-3725/paper11
Alessio ColtellacciStephan MerzGilles Dowek

Reconstruction of SMT Proofs with Lambdapi