George W. Ernst Michael M. Goldstein Mechanical Discovery of Classes of Problem-Solving Strategies. 1-23 1982 29 J. ACM 1 http://doi.acm.org/10.1145/322290.322291 db/journals/jacm/jacm29.html#ErnstG82