Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence. - Stéphane Kaplan (ADT, 1984)

Conditional Rewrite Rules. - Stéphane Kaplan (Theor. Comput. Sci., 1984)

A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. - Christine Choppy; G. Guiho; Stéphane Kaplan (TAPSOFT, Vol.1, 1985)

Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. - Stéphane Kaplan (ESOP, 1986)

On the decidability of quasi-reducibility. - Stéphane Kaplan; Marianne Choquer (Bull. EATCS, 1986)

ASSPEGIQUE: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy; Stéphane Kaplan; Françoise Schlienger; Frédéric Voisin (CTRS, 1987)

Positive/Negative Conditional Rewriting. - Stéphane Kaplan (CTRS, 1987)

Algorithmic Complexity of Term Rewriting Systems. - Christine Choppy; Stéphane Kaplan; Michèle Soria (RTA, 1987)

A Compiler for Conditional Term Rewriting Systems. - Stéphane Kaplan (RTA, 1987)

Asspegique: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy; M.-A. Choquer; Stéphane Kaplan; Françoise Schlienger; Frédéric Voisin (STACS, 1987)

Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. - Stéphane Kaplan (J. Symb. Comput., 1987)

Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification. - Stéphane Kaplan (FSTTCS, 1988)

Rewriting with a Nondeterministic Choice Operator. - Stéphane Kaplan (Theor. Comput. Sci., 1988)

Infinite Normal Forms (Preliminary Version). - Nachum Dershowitz; Stéphane Kaplan; David A. Plaisted (ICALP, 1989)

Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. - Nachum Dershowitz; Stéphane Kaplan (POPL, 1989)

Abstract Rewriting with Concrete Operations. - Stéphane Kaplan; Christine Choppy (RTA, 1989)

Complexity Analysis of Term-Rewriting Systems. - Christine Choppy; Stéphane Kaplan; Michèle Soria (Theor. Comput. Sci., 1989)

FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages. - N. Lichtenstein; Stéphane Kaplan (CTRS, 1990)

Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. - Christine Choppy; Stéphane Kaplan (ICSE, 1990)

Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . - Nachum Dershowitz; Stéphane Kaplan; David A. Plaisted (Theor. Comput. Sci., 1991)