G. I. Webb
-
OPUS: an efficient admissible algorithm for unordered search
Journal of Artificial Intelligence Research