## Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe

*Theorem Proving Using Lazy Proof Explication*

CAV, 2003.

@inproceedings{CAV-2003-FlanaganJOS, author = "Cormac Flanagan and Rajeev Joshi and Xinming Ou and James B. Saxe", booktitle = "{Proceedings of the 15th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-540-45069-6_34", isbn = "3-540-40524-0", pages = "355--367", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Theorem Proving Using Lazy Proof Explication}", volume = 2725, year = 2003, }