Algebraic and logic programming by Michael Hanus | Menrva Books | MenrvaBooks