Citation: P.madden,a.bundy,a.smaill, Recursive Program Optimization through Inductive Synthesis Proof Transformation, Journal of automated reasoning , 22(1), 1999, pp. 65-115
Citation: C.p.gomes,b.selman,n.crato,h.kautz, Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems, Journal of automated reasoning , 24(1/2), 2000, pp. 67-100
Citation: S.subramanian, Commonsense and Nonmonotonic Reasoning: Mechanical Verification of Strategies, Journal of automated reasoning , 15(1), 1995, pp. 69-93
Citation: S.m.chen,j.s.ke,j.f.chang, An Inexact Reasoning Algorithm Based Fuzzy Rule Matrix Trasformations, Journal of automated reasoning , 8(1), 1992, pp. 77-90
Citation: R.socher-ambrosius, How to Avoid the Derivation of Redundant Clauses in Reasoning Systems, Journal of automated reasoning , 9(1), 1992, pp. 77-98
Citation: P.frohlich,w.nejdl,m.schroeder, Logic for Artificial Intelligence: Strategies in Model-Based Diagnosis, Journal of automated reasoning , 20(1/2), 1998, pp. 81-105
Citation: A.brodsky,c.lassez,j-l.lassez,m.j.maher, Separability of Polihedra for Optimal Filtering of Spatial and Contraint Data, Journal of automated reasoning , 23(1), 1999, pp. 83-104
Citation: P.narendran,f.otto, Single Versus Simultaneous Equational Unification and Equational unification for Variable-Permuting Theories, Journal of automated reasoning , 19(1), 1997, pp. 87-115
Citation: A.quaife, Automated Deduction in von Neumann-Bernays-Godel Set Theory Addresses of Editorial Board, Journal of automated reasoning , 8(1), 1992, pp. 91-148
Citation: J.j.alferes,c.v.damasio,l.m.pereira, Commonsense and Nonmonotonic Reasoning: A Logic Programming System for Nonmonotonic Reasoning, Journal of automated reasoning , 14(1), 1995, pp. 93-147
Citation: T.i.schaub, Commonsense and Nonmonotonic Reasoning: A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving, Journal of automated reasoning , 15(1), 1995, pp. 95-165
Citation: P.codognet,d.diaz, A Simple and Efficient Boolean Solver for Constraint Logic Programming, Journal of automated reasoning , 17(1), 1996, pp. 97-129