Holte, R. C.; Alkhazraji, Y.; Wehrle, M. A Generalization of Sleep Sets Based on Operator Sequence Redundancy. AAAI 2015, 29.