EasyChair Smart Slide
A Simple Proof Format for SMT
A Simple Proof Format for SMT