Designing constraint logic programming languages using computational systems (1995)

by C Kirchner, H Kirchner, M Vittek
Venue:Selected Papers from the 1st PPCP Workshop