"Partial Evaluation of Pattern Matching in Constraint Logic Programming ..."

Donald A. Smith (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics