Larry Wos Automated Reasoning and Bledsoe's Dream for the Field. [Citation Graph (0, 0)][DBLP] Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:297-345 [Conf]
Larry Wos The Flowering of Automated Reasoning. [Citation Graph (0, 0)][DBLP] Mechanizing Mathematical Reasoning, 2005, pp:204-227 [Conf]
Larry Wos Solving Open Questions with an Automated Theorem-Proving Program. [Citation Graph (0, 0)][DBLP] CADE, 1982, pp:1-31 [Conf]
Larry Wos, William McCune The Application of Automated Reasoning to Questions in Mathematics and Logic. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1992, v:5, n:2-4, pp:321-369 [Journal]
Larry Wos Milestones for Automated Reasoning with Otter. [Citation Graph (0, 0)][DBLP] International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:3-20 [Journal]
Larry Wos Some Obstacles to the Automation of Reasoning and the Problem of Redundant Information. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1987, v:3, n:1, pp:81-90 [Journal]
Larry Wos The Problem of Finding a Strategy to Control Binary Paramodulation. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1988, v:4, n:1, pp:101-107 [Journal]
Larry Wos The Problem of Finding an Inference Rule for Set Theory. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1989, v:5, n:1, pp:93-95 [Journal]
Larry Wos The Problem of Choosing between Logic Programming and General-Purpose Automated Reasoning. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:1, pp:77-78 [Journal]
Larry Wos The Problem of Choosing the Type of Subsumption to Use. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1991, v:7, n:3, pp:435-438 [Journal]
Larry Wos The Problem of Finding a Restriction Strategy More Effective Than the Set of Support Strategy. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1991, v:7, n:1, pp:105-107 [Journal]
Larry Wos The Problem of Choosing between Using and Avoiding Eqyality Predicates. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:8, n:2, pp:307-309 [Journal]
Larry Wos The Problem of Automated Theorem Finding. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1993, v:10, n:1, pp:137-138 [Journal]
Larry Wos The Problem of Choosing the Inference Rule to Employ. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1987, v:3, n:2, pp:201-209 [Journal]
Larry Wos The Problem of Extending the Set of Support Strategy. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1987, v:3, n:3, pp:319-328 [Journal]
Larry Wos The Problem of Definition Expansion and Contraction. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1987, v:3, n:4, pp:433-435 [Journal]
Larry Wos The Problem of Explaining the Disparate Performance of Hyperresolution and Paramodulation. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1988, v:4, n:2, pp:215-217 [Journal]
Larry Wos The Problem of Self-Analytically Choosing the Set of Support. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1988, v:4, n:3, pp:327-329 [Journal]
Larry Wos The Problem of Self-Analytically Choosing the Weights. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1988, v:4, n:4, pp:463-464 [Journal]
Larry Wos The Problem of Determining the Size of a Complete Set of Reductions. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1989, v:5, n:2, pp:235-237 [Journal]
Larry Wos The Problem of Guaranteeing the Existence of a Complete Set of Reductions. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1989, v:5, n:3, pp:399-401 [Journal]
Larry Wos The Problem of Guaranteeing the Absence of a Complete Set of Reductions. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1989, v:5, n:4, pp:531-532 [Journal]
Larry Wos The Problem of Finding a Mapping between Clause Representation and Natural-Deduction Representation. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:2, pp:211-212 [Journal]
Larry Wos Meeting the Challenge of Fifty Years of Logic. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:2, pp:213-232 [Journal]
Larry Wos The Problem of Finding a Semantic Strategy for Focusing Inference Rules. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:3, pp:337-339 [Journal]
Larry Wos The Problem of Choosing between Predicate and Function Notation for Problem Representation. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:4, pp:463-464 [Journal]
Larry Wos The Problem of Choosing the Representation, Inference Rule, and Strategy. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1991, v:7, n:4, pp:631-634 [Journal]
Larry Wos The Problem of Reasoning from Inequalities. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:8, n:3, pp:421-426 [Journal]
Larry Wos The Problem of Demodulation During Inference Rule Application. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:9, n:1, pp:141-143 [Journal]
Larry Wos Note on McCune's Article on Discrimination Trees. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:9, n:2, pp:145-146 [Journal]
Larry Wos The Problem of Demodulator Adjunction. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:9, n:2, pp:289-290 [Journal]
Larry Wos The Problem of Demodulating Across Argument and Literal Boundaries. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:9, n:3, pp:407-408 [Journal]
Larry Wos The Problem of Selecting an Approach Based on Prior Success. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1993, v:10, n:2, pp:283-284 [Journal]
Larry Wos The Kernel Strategy and Its Use for the Study of Combinatory Logic. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1993, v:10, n:3, pp:287-343 [Journal]
Larry Wos, Dolph Ulrich, Branden Fitelson Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:29, n:2, pp:107-124 [Journal]