1992 | ||
---|---|---|
4 | E. Paul: A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification. J. Symb. Comput. 14(6): 577-618 (1992) | |
1986 | ||
3 | E. Paul: On Solving the Equality Problem in Theories Defined by Horn Clauses. Theor. Comput. Sci. 44: 127-153 (1986) | |
1985 | ||
2 | E. Paul: On Solving the Equality Problem in Theories Defined by Horn Clauses. European Conference on Computer Algebra (2) 1985: 363-377 | |
1984 | ||
1 | E. Paul: Proofs by Inducting in Equational Theories with Relations Between Constructors. CAAP 1984: 211-226 |