Similar Items: Clause Set Cycles and Induction