Aaron Stump, Andrew Reynolds 0001, Cesare Tinelli, Austin Laugesen, Harley Eades III, Corey Oliver, Ruoyu Zhang. LFSC for SMT Proofs: Work in Progress. In David Pichardie, Tjark Weber, editors, Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012. Volume 878 of CEUR Workshop Proceedings, pages 21-27, CEUR-WS.org, 2012. [doi]
Abstract is missing.