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