High-level specification and efficient solving of constraint satisfaction problems - Hjerpe, Torkel (Uppsala theses in computing science, 1995)