Architecture for logic programing with arrangements of finite-state machines. - Vladimir Estivill-Castro; René Hexel; Alberto Ramirez Regalado (DCPS, 2016)