## Lawrence C. Paulson

*Isabelle: The Next Seven Hundred Theorem Provers*

CADE, 1988.

@inproceedings{CADE-1988-Paulson, author = "Lawrence C. Paulson", booktitle = "{Proceedings of the Ninth International Conference on Automated Deduction}", doi = "10.1007/BFb0012891", isbn = "3-540-19343-X", pages = "772--773", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Isabelle: The Next Seven Hundred Theorem Provers}", volume = 310, year = 1988, }