Coloured rippling an extension of a theorem proving heuristic (1995)