Presented at First International Workshop on Principles and Practices of Constraint Programming (PPCP), 1993

(1993)