E. Paul

On Solving the Equality Problem in Theories Defined by Horn Clauses

E. Paul, E. Paul, 1985, Theor. Comput. Sci..

A New Interpretation of the Resolution Principle

Etienne Paul, E. Paul, 1984, CADE.

A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification

E. Paul, E. Paul, 1992, J. Symb. Comput..

Equational Methods in First Order Predicate Calculus

Etienne Paul, E. Paul, 1985, J. Symb. Comput..

Proofs by Inducting in Equational Theories with Relations Between Constructors

E. Paul, E. Paul, 1984, Colloquium on Trees in Algebra and Programming.