Proof reconstruction for first-order logic and set-theoretical constructions (2006)

by Clément Hurlin
Venue:Sixth International Workshop on Automated Verification of Critical Systems (AVOCS ’06) – Preliminary Proceedings