F. Brown, "Equational Logic," in IEEE Transactions on Computers, vol. 23, no. , pp. 1228-1237, 1974.
doi:10.1109/T-C.1974.223841
keywords:{Boolean equations; Boolean matrices; combinational logic; digital comparators.},
url:doi.ieeecomputersociety.org/10.1109/T-C.1974.223841