1. The B∗ tree search algorithm: A best-first proof procedure;Berliner;Artificial Intelligence,1979
2. B∗ probability based search;Berliner;Artificial Intelligence,1996
3. Asynchronous parallel game-tree search, PhD Thesis;Brockington,1994
4. Message Passing Interface Forum, MPI: A message-passing interface standard;Internat. J. Supercomput. Appl.,1994
5. The implementation of the Cilk-5 multithreaded language;Frigo;ACM SIGPLAN Notices,1998