Learning Boolean Specifications
U. Bubeck, H. Kleine Büning, Artificial Intelligence (2015) 246–257.