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