Spider Search: An Efficient and Non-Frontier-Based Real-Time Search Algorithm.

Chao Lin Chu, Russell J. Abbott, Debora K. Shuger

Browse the full ISDA paper archive.