P.rex: An Interactive Proof Explainer (2001)

by A Fiedler
Venue:Proceedings of the International Joint Conference on Automated Reasoning, number 2083 in Lecture Notes in Artificial Intelligence