Ondrej Cepek David Kronus Petr Kucera Recognition of interval Boolean functions. 1-24 2008 52 Ann. Math. Artif. Intell. 1 http://dx.doi.org/10.1007/s10472-008-9094-5 db/journals/amai/amai52.html#CepekKK08