Dusan Hvalica Best First Search Algorithm in AND/OR Graphs with Cycles. 102-110 1996 21 J. Algorithms 1 db/journals/jal/jal21.html#Hvalica96