Korf's paper
Korf-notes
Inchoate LRTA*