A Sequential Circuit for Algebraic Statement Translation | IEEE Journals & Magazine | IEEE Xplore