Spider Search: An Efficient and Non-Frontier-Based Real-Time Search Algorithm. - Chao Lin Chu; Russell J. Abbott; Debora K. Shuger (ISDA (2), 2008)