The Hot List Strategy. - Larry Wos; Gail W. Pieper (J. Autom. Reason., 1999)