Michael Codish Functional and Logic Programming - 2014 - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783319071510 Subjects--Topical Terms: Computer ScienceSoftware Engineering