An equational logic approach for mapping/multiple-valued rule-based expert systems into hardware specification rules | IEEE Conference Publication | IEEE Xplore