Yoshida, T., Bundy, A., Green, I., Walsh, T., & Basin, D. A. (1994). Coloured Rippling: An Extension of a Theorem Proving Heuristic. In T., Cohn (Ed.), Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94) (pp. 85-89).?: Wiley.