Euripides Markou Andrzej Pelc Efficient Exploration of Faulty Trees. 225-247 2007 40 Theory Comput. Syst. 3 http://dx.doi.org/10.1007/s00224-005-1252-0 db/journals/mst/mst40.html#MarkouP07