"Implementing Finite-domain Constraint Logic Programming on Top of a ..."

Danny De Schreye et al. (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics