Papers: AO* with loops
Inchoate breadth-first heuristic (doesn't work!)