TY  - RPRT
TI  - A Proof Theory for Model Checking: An Extended Abstract
AU  - Quentin Heath
AU  - Dale Miller
PY  - 2017
DO  - 10.4204/eptcs.238.1
UR  - https://arxiv.org/abs/1701.04915
ID  - 1701.04915
ER  -