E. Karpas and C. Domshlak, “Optimal Search with Inadmissible Heuristics”, ICAPS, vol. 22, no. 1, pp. 92-100, May 2012.