Encoding First Order Proofs in SAT. - Todd Deshane; Wenjin Hu; Patty Jablonski; Hai Lin 005; Christopher Lynch; Ralph Eric McGregor (CADE, 2007)