Hans W. Guesgen Kinson Ho Paul N. Hilfinger A Tagging Method for Parallel Constraint Satisfaction. 72-75 1992 16 J. Parallel Distrib. Comput. 1 db/journals/jpdc/jpdc16.html#GuesgenHH92