%0 Book
%A  edited by María Alpuente.
%T Logic-Based Program Synthesis and Transformation
%U /book/89948763/LogicBased-Program-Synthesis-and-Transformation/