David B. Kemp Peter J. Stuckey Analysis Based Constraint Query Optimization. 666-682 1993 ICLP db/conf/iclp/iclp93.html#KempS93