A framework for proof certificates in finite state exploration. - Quentin Heath; Dale Miller 001 (PxTP@CADE, 2015)

A Proof Theory for Model Checking: An Extended Abstract. - Quentin Heath; Dale Miller 001 (LINEARITY, 2016)

A Proof Theory for Model Checking. - Quentin Heath; Dale Miller 001 (J. Autom. Reason., 2019)