Practical Aspects of Declarative Languages - Hermenegildo, Manuel V.; Cabeza, Daniel; Kanade, Takeo; Hermenegildo, Manuel; Kittler, Josef (Springer Berlin / Heidelberg, 2005)