@article{4:27,author={Shaul Markovitch and Asaf Shatil}, Title={Speedup Learning for Repair-based Search by Identifying Redundant Steps},journal={Journal of Machine Learning Research},volume={4}, url={http://www.jmlr.org/papers/volume4/servedio03a/servedio03a.pdf}}