Teruhisa Miura Toru Ishida Stochastic node caching for memory-bounded search. 57-65 1999 30 Systems and Computers in Japan 2 http://dx.doi.org/10.1002/(SICI)1520-684X(199902)30:2<57::AID-SCJ7>3.0.CO;2-N db/journals/scjapan/scjapan30.html#MiuraI99