Speedup Learning for Repair-based Search by Identifying Redundant Steps. - Shaul Markovitch; Asaf Shatil (J. Mach. Learn. Res., 2003)