Pedro Quaresma, Pierluigi Graziani. Measuring the Readability of Geometric Proofs: The Area Method Case. Journal of Automated Reasoning, 67(1):5, March 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.