Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Wos, L., Robinson, G.A., Carsonm, D.F.: Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. Journal of Automated Reasoning (1965)
2. Wos, L., Robinson, G.A., Carson, D.F., Shalla, L.: The Concept of Demodulation in Theorem Proving. Journal of Automated Reasoning (1967)
3. Wos, L., Pieper, G.W.: The Hot List Strategy. Journal of Automated Reasoning (1999)
4. OTTER automated deduction system,
http://www.mcs.anl.gov/AR/otter/
5. Intel Corporation: IA-32 IntelR Architecture Software Developer's Manual, Volume 2A: Insruction Set Reference A-M (2004)