Martin Anthony Graham Brightwell John Shawe-Taylor On Specifying Boolean Functions by Labelled Examples. 1-25 1995 61 Discrete Applied Mathematics 1 http://dx.doi.org/10.1016/0166-218X(94)00007-Z db/journals/dam/dam61.html#AnthonyBS95