Christof Löding, P. Madhusudan, Daniel Neider: Abstract Learning Frameworks for Synthesis. CoRR abs/1507.05612 (2015)