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