Christof Löding, P. Madhusudan, Daniel Neider: Abstract Learning Frameworks for Synthesis. TACAS 2016: 167-185