James Harland Kotagiri Ramamohanarao Constraint Propagation for Linear Recursive Rules. 683-699 1993 ICLP db/conf/iclp/iclp93.html#HarlandR93