OPUS: An efficient admissible algorithm for unordered search (1995)

by Geoffrey I Webb
Venue:Journal of Artificial Intelligence Research