Boolean matrices applied to sequential circuit theory and threshold logics | IEEE Conference Publication | IEEE Xplore