Lee, S.J. and Plaisted, D.A. 2012. Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover. Computing and Informatics. 14, 6 (Jan. 2012), 563–578.