Time-Efficient State Space Search. - Alexander Reinefeld; Peter Ridinger (Artif. Intell., 1994)