@inproceedings{pme336559-kirstenproofsummaryand,
  title={Proof Summary and Proof Comprehension},
  author={Kirsten, Katharina},
  booktitle={Proceedings of the International Group for the Psychology of Mathematics Education, Volume 1},
  year={2026},
  pages={843--850},
  publisher={Psychology of Mathematics Education (PME)},
  issn={2790-3648}
}