Encoding First Order Proofs in SMT. - Jeremy Bongio; Cyrus Katrak; Hai Lin 005; Christopher Lynch; Ralph Eric McGregor (SMT@CAV, 2007)