Heuristic Search in Cyclic AND/OR Graphs