Philippe Refalo Pascal Van Hentenryck CLP(Rlin) Revised. 22-36 1996 JICSLP db/conf/iclp/iclp96.html#RefaloH96