Logic-Based Program Synthesis and Transformation - Hutchison, David; Kanade, Takeo; Kittler, Josef; Vidal, Germán (Springer Berlin Heidelberg, 2012)
Keywords: Information Technology -- Computer Science (Hardware & Networks)