Theory Exploration Automated Conjecturing for Programs and Proofs - Einarsdóttir, Sólrún Halla (PQDT - Global, 2025)