Ching-Fang Liaw, Bradley S. Stewart, Chelsea C. White III: Multiobjective heuristic search in AND/OR graphs. IEEE Trans. Syst. Man Cybern. 25(11): 1513-1521 (1995)