CS-Prolog: A Generalized Unification Based Constraint Solver. - Toshio Kawamura; Hayato Ohwada; Fumio Mizoguchi (LP, 1987)