Citation: B.spencer,j.d.horton, Efficient Algorithms to Detect and Restore Minimality, an Extension of Regular Restriction of Resolution, Journal of automated reasoning , 25(1), 2000, pp. 1-34
Citation: W.w.mccune, Automated Discovery of New Axiomatizations of the Left Group and Right Group Calcouli, Journal of automated reasoning , 9(1), 1992, pp. 1-24
Citation: I.niemela, Commonsense and Nonmonotonic Reasoning: Preface to the special Issue on Commonsense and Nonmonotonic Reasoning, Journal of automated reasoning , 14(1), 1995, pp. 1-2
Citation: W.w.mccune, Studies in Automated Reasoning: Single Axioms for Groups and Abelian Groups with Various Operations, Journal of automated reasoning , 10(1), 1993, pp. 1-14
Citation: A.walker, Backchain Interation: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete, Journal of automated reasoning , 11(1), 1993, pp. 1-22
Citation: E.l.lozinskii, Resolving Cantradictions: A Plausible Semantics for Inconsistent Systems, Journal of automated reasoning , 12(1), 1994, pp. 1-32
Citation: M.thielscher,t.schaub, Commonsense and Nonmonotonic Reasoning: Default Reasoning by Deductive Planning, Journal of automated reasoning , 15(1), 1995, pp. 1-40
Citation: M.l.ginsberg, Commonsense and Nonmonotonic Reasoning: A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning, Journal of automated reasoning , 14(1), 1995, pp. 3-42
Citation: M.abramovici,"j.t.de Sousa, A SAT Solver Using Reconfigurable Hardware and Virtual Logic, Journal of automated reasoning , 24(1/2), 2000, pp. 5-36
Citation: H.de Nivelle, Logic for Artificial Intelligence: An Algorithm for the Retrieval of Unifiers from Discrimination Trees, Journal of automated reasoning , 20(1/2), 1998, pp. 5-25
Citation: A.jindal,r.overbeek,w.c.kabat, Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems, Journal of automated reasoning , 8(1), 1992, pp. 23-38