Logic-Based Program Synthesis and Transformationde Fred Mesnard, Peter J. StuckeyEdiciones (1)Logic-Based Program Synthesis and Transformation (2019)Springer · ISBN 9783030138370
