Rok Sosic, Jun Gu, Robert R. Johnson. The Unison algorithm: fast evaluation of Boolean expressions. ACM Trans. Design Autom. Electr. Syst., 1(4):456-477, 1996. [doi]
@article{SosicGJ96, title = {The Unison algorithm: fast evaluation of Boolean expressions}, author = {Rok Sosic and Jun Gu and Robert R. Johnson}, year = {1996}, doi = {10.1145/238997.239009}, url = {http://doi.acm.org/10.1145/238997.239009}, researchr = {https://researchr.org/publication/SosicGJ96}, cites = {0}, citedby = {0}, journal = {ACM Trans. Design Autom. Electr. Syst.}, volume = {1}, number = {4}, pages = {456-477}, }