Arithmetic and Algebraic Circuits - Lloris Ruiz, Antonio; Castillo Morales, Encarnación; Parrilla Roure, Luis; García Ríos, Antonio; Lloris Meseguer, María José (Springer International Publishing, 2021)