Vetle I. Torvik, Evangelos Triantaphyllou. Guided inference of nested monotone Boolean functions. Inf. Sci., 151:171-200, 2003. [doi]
@article{TorvikT03,
title = {Guided inference of nested monotone Boolean functions},
author = {Vetle I. Torvik and Evangelos Triantaphyllou},
year = {2003},
doi = {10.1016/S0020-0255(03)00062-8},
url = {http://dx.doi.org/10.1016/S0020-0255(03)00062-8},
researchr = {https://researchr.org/publication/TorvikT03},
cites = {0},
citedby = {0},
journal = {Inf. Sci.},
volume = {151},
pages = {171-200},
}