Quantifier Simplification by Unification in SMT

von Fontaine, Pascal
Veröffentlicht in FroCoS (13. : 2021 : Birmingham) Frontiers of Combining Systems (2021)

Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant

von Schurr, Hans-Jörg
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)