Janusz A. Brzozowski Yuli Ye Simulation of Gate Circuits with Feedback in Multi-Valued Algebras. 46 2007 ISMVL http://dx.doi.org/10.1109/ISMVL.2007.51 conf/ismvl/2007 db/conf/ismvl/ismvl2007.html#BrzozowskiY07