Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs. - Shaan Nagy; Jinwoo Kim; Thomas W. Reps; Loris D'Antoni (Proc. ACM Program. Lang., 2024)

Semantics of Sets of Programs. - Jinwoo Kim; Shaan Nagy; Thomas Reps; Loris D'Antoni (Proc. ACM Program. Lang., 2025)