Noëlle Bleuzen-Guernalec Alain Colmerauer Optimal Narrowing of a Block of Sortings in Optimal Time. 85-118 2000 5 Constraints 1/2 db/journals/constraints/constraints5.html#Bleuzen-GuernalecC00