Craig McLaughlin, James McKinna, Ian Stark. Triangulating context lemmas. In June Andronick, Amy P. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. pages 102-114, ACM, 2018. [doi]
@inproceedings{McLaughlinMS18,
title = {Triangulating context lemmas},
author = {Craig McLaughlin and James McKinna and Ian Stark},
year = {2018},
doi = {10.1145/3167081},
url = {http://doi.acm.org/10.1145/3167081},
researchr = {https://researchr.org/publication/McLaughlinMS18},
cites = {0},
citedby = {0},
pages = {102-114},
booktitle = {Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018},
editor = {June Andronick and Amy P. Felty},
publisher = {ACM},
isbn = {978-1-4503-5586-5},
}