| |
| 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 | |