Noëlle Bleuzen-Guernalec Alain Colmerauer Narrowing a Block of Sortings in Quadratic Time. 2-16 1997 conf/cp/1997 CP db/conf/cp/cp97.html#Bleuzen-GuernalecC97