A Hoare Logic for Diverging Programs by Johannes Åman Pohjola, Magnus O. Myreen and Miki Tanaka Jan 20
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover by Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann Jan 18