David Bañeres Jordi Cortadella Michael Kishinevsky A Recursive Paradigm to Solve Boolean Relations. 512-527 2009 58 IEEE Trans. Computers 4 http://dx.doi.org/10.1109/TC.2008.165 db/journals/tc/tc58.html#BaneresCK09