Mark Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423--434, July 1981. 7  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Logical Basis for the Automation of Reasoning: Case Studies - Wos, Veroff, Pieper (Correct)
Combining Decision Procedures for Positive Theories Sharing.. - Baader, Tinelli (2002) (3 citations) (Correct)
A Framework for Incorporating Abstraction Mechanisms into the.. - Zachary (1987) (1 citation) (Correct)
A Generalized Approach to Equational Unification - Yelick (1985) (3 citations) (Correct)
Automated Generalisation of Function Definitions - Bakewell, Runciman (1999) (Correct)
Rule-Based Constraint Programming - Kirchner, Ringeissen (1998) (5 citations) (Correct)
33 Basic Test Problems: A Practical Evaluation of Some.. - McCune (1996) (14 citations) (Correct)
Solving Linear Diophantine Equations - Tomas, Filgueiras (1 citation) (Correct)
33 Basic Test Problems: A Practical Evaluation of Some.. - McCune (1997) (14 citations) (Correct)
Positive Deduction modulo Regular Theories - Vigneron (1995) (5 citations) (Correct)
Qualification and Causality - Thielscher (1996) (Correct)
Type Dependencies for Logic Programs Using ACI-Unification - Codish, Lagoon (1998) (11 citations) (Correct)
Double-Exponential Complexity of Computing a Complete Set of .. - Kapur, Narendran (19 citations) (Correct)
Comparison of two Semantic Approaches to Unification.. - Baader, Leucker (1998) (Correct)
Combining Computer Algebra and Rule Based Reasoning - Bündgen (1995) (Correct)
Term Rewriting In Associative Commutative Theories With Identities - Henz (1991) (2 citations) (Correct)
"Syntactic" AC-Unification - Boudet, Contejean (Correct)
Labelled Natural Deduction for Substructural Logics - Broda, Finger, Russo (1997) (2 citations) (Correct)
Solution of the Robbins Problem - McCune (1997) (58 citations) (Correct)
{log}: A Language For Programming In Logic With Finite Sets - Dovier, Omodeo, Pontelli, .. (1996) (Correct)
General A- and AX-Unification via Optimized Combination.. - Baader, Schulz (1991) (3 citations) (Correct)
Unification in the Union of Disjoint Equational Theories.. - Baader, Schulz (1992) (49 citations) (Correct)
On the Unification Problem for Cartesian Closed Categories - Exte Nd Ed (Correct)
Synthesis of UNIX Programs using Derivational Analogy - Bhansali, Harandi (1993) (13 citations) (Correct)
A Completion Procedure for Computing a Canonical Basis for a.. - Kapur, Madlener (1989) (11 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC