Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.”https://doi.org/10.1016/j.artint.2015.09.003__Artificial Intelligence, 2015, 246–57.https://doi.org/10.1016/j.artint.2015.09.003 .