Tetsuya Yoshida Alan Bundy Ian Green Toby Walsh David A. Basin Coloured Rippling: An Extension of a Theorem Proving Heuristic. 85-89 1994 ECAI db/conf/ecai/ecai94.html#YoshidaBGWB94