Hans J. Berliner The B<sup>*</sup> Tree Search Algorithm: A Best-First Proof Procedure. 23-40 1979 12 Artif. Intell. 1 db/journals/ai/ai12.html#Berliner79