Genetic Programming with Local Scoring. - Max Vistrup (CoRR, 2022)

Program Logics à la Carte. - Max Vistrup; Michael Sammler; Ralf Jung 002 (Proc. ACM Program. Lang., 2025)