A New Interpretation of the Resolution Principle. - Etienne Paul (CADE, 1984)

Equational Methods in First Order Predicate Calculus. - Etienne Paul (J. Symb. Comput., 1985)

On Solving the Equality Problem in Theories Defined by Horn Clauses. - Etienne Paul (Theor. Comput. Sci., 1986)

Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin. - Ana R. Cavalli; Etienne Paul (Distributed Comput., 1988)

A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification. - Etienne Paul (J. Symb. Comput., 1992)