@Inproceedings{EPTCS238.1, author = {Heath, Quentin and Miller, Dale}, year = {2017}, title = {A Proof Theory for Model Checking: An Extended Abstract}, editor = {Cervesato, Iliano and Fern\'andez, Maribel}, booktitle = {{\rm Proceedings Fourth International Workshop on} Linearity, {\rm Porto, Portugal, 25 June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {238}, publisher = {Open Publishing Association}, pages = {1-10}, doi = {10.4204/EPTCS.238.1}, }