Lee, S., & Plaisted, D. A. Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover.
Chicago Style (17th ed.) CitationLee, Shie-Jue, and David A. Plaisted. Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover.
MLA (9th ed.) CitationLee, Shie-Jue, and David A. Plaisted. Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover.
Warning: These citations may not always be 100% accurate.
