Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference16 articles.
1. Linear-time algorithms for testing the satisfiability of propositional horn formulae;Dowling;J. Logic Programming,1984
2. Proving refutational completeness of theorem proving strategies: The transfinite semantic tree method;Hsiang;J. Assoc. Comput. Mach.,1991
3. Deduction with symbolic constraints;Kirchner;Rev. Franc. Intelligence Artificielle,1990
4. Mechanical theorem proving by model elimination;Loveland;J. Assoc. Comput. Mach.,1968
5. Automated Theorem Proving: A Logical Basis;Loveland,1978