The Hot List Strategy

Larry Wos, Gail W. Pieper. The Hot List Strategy. Journal of Automated Reasoning, 22(1):1-44, 1999.

Abstract

Abstract is missing.