Thierry Le Provost Mark Wallace Domain Independent Propagation. 1004-1011 1992 FGCS db/conf/fgcs/fgcs92.html#ProvostW92