Magnus O. Myreen Konrad Slind Michael J. C. Gordon Extensible Proof-Producing Compilation. 2-16 2009 CC http://dx.doi.org/10.1007/978-3-642-00722-4_2 conf/cc/2009 db/conf/cc/cc2009.html#MyreenSG09