Jonathan Wayne Mills Area-Efficient Implication Circuits for Very Dense Lukasiewicz Logic Arrays. 291-298 1992 ISMVL db/conf/ismvl/ismvl1992.html#Mills92