Coloured Rippling: An Extension of a Theorem Proving Heuristic.

Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin

Browse the full ECAI paper archive.