Shaul Markovitch Asaf Shatil Speedup Learning for Repair-based Search by Identifying Redundant Steps. 649-682 2003 4 Journal of Machine Learning Research http://www.jmlr.org/papers/v4/markovitch03a.html db/journals/jmlr/jmlr4.html#MarkovitchS03