@ARTICLE{,
author = {F. Brown},
journal = {IEEE Transactions on Computers},
title = {Equational Logic},
year = {1974},
volume = {23},
number = {},
pages = {1228-1237},
keywords={Boolean equations; Boolean matrices; combinational logic; digital comparators.},
doi = {10.1109/T-C.1974.223841},
url = {doi.ieeecomputersociety.org/10.1109/T-C.1974.223841},
ISSN = {0018-9340},
month={12}
}