Juba, B.; Meel, K. S. The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques. AAAI 2026, 40, 14261-14268.