Balázs Tóth, Martin Desharnais-Schäfer, Jasmin Blanchette. Adding Sorts to an Isabelle Formalization of Superposition. In Kathrin Stark, Yannick Zakowski, Nikhil Swamy, Nicolas Tabareau, editors, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026. pages 104-116, ACM, 2026. [doi]
@inproceedings{TothDB26,
title = {Adding Sorts to an Isabelle Formalization of Superposition},
author = {Balázs Tóth and Martin Desharnais-Schäfer and Jasmin Blanchette},
year = {2026},
doi = {10.1145/3779031.3779099},
url = {https://doi.org/10.1145/3779031.3779099},
researchr = {https://researchr.org/publication/TothDB26},
cites = {0},
citedby = {0},
pages = {104-116},
booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026},
editor = {Kathrin Stark and Yannick Zakowski and Nikhil Swamy and Nicolas Tabareau},
publisher = {ACM},
isbn = {979-8-4007-2341-4},
}