Mariano P. Consens Alberto O. Mendelzon Dimitra Vista Peter T. Wood Constant Propagation Versus Join Reordering in Datalog. 245-259 1995 conf/rules/95 Rules in Database Systems db/conf/rules/rules95.html#ConsensMVW95