Logic-based program synthesis and transformation: 26th international symposium, LOPSTR 2016, Edinbu… by LOPSTR, Edinburgh fromLecture Notes in Computer Science 0 Type: Book
