Synthesis of Recursive Programs in Saturation. - Petra Hozzová; Daneshvar Amrollahi; Márton Hajdú; Laura Kovács; Andrei Voronkov; Eva Maria Wagner (IJCAR (1), 2024)

Synthesis Benchmarks for Automated Reasoning. - Márton Hajdú; Petra Hozzová; Laura Kovács; Andrei Voronkov; Eva Maria Wagner; Richard Steven Zilincík (CoRR, 2025)