Practical Aspects of Declarative Languages - Hentenryck, Pascal; Kanade, Takeo; Van Hentenryck, Pascal; Kittler, Josef (Springer Berlin / Heidelberg, 2006)