Hans J. Berliner. The B:::*::: Tree Search Algorithm: A Best-First Proof Procedure. Artificial Intelligence, 12(1):23-40, 1979.
@article{Berliner79, title = {The B:::*::: Tree Search Algorithm: A Best-First Proof Procedure}, author = {Hans J. Berliner}, year = {1979}, tags = {search}, researchr = {https://researchr.org/publication/Berliner79}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {12}, number = {1}, pages = {23-40}, }