Manuel Hermenegildo, Daniel Cabeza Practical Aspects of Declarative Languages - 2005 ISBN: 978-3-540-30557-6 Subjects--Topical Terms: Logics and Meanings of ProgramsProgramming TechniquesSoftware Engineering Programming Languages, Compilers, InterpretersComputer Science