Syntactical Analysis of Total Termination. - Maria C. F. Ferreira; Hans Zantema (ALP, 1994)

Well-foundedness of Term Orderings. - Maria C. F. Ferreira; Hans Zantema (CTRS, 1994)

Dummy Elimination: Making Termination Easier. - Maria C. F. Ferreira; Hans Zantema (FCT, 1995)

Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. - Maria C. F. Ferreira; Delia Kesner; Laurence Puel (ALP, 1996)

Dummy Elimination in Equational Rewriting. - Maria C. F. Ferreira (RTA, 1996)

Total termination of term rewriting. - Maria C. F. Ferreira; Hans Zantema (Appl. Algebra Eng. Commun. Comput., 1996)

Reducing AC-Termination to Termination. - Maria C. F. Ferreira; Delia Kesner; Laurence Puel (MFCS, 1998)

Context-Sensitive AC-Rewriting. - Maria C. F. Ferreira; A. L. Ribeiro (RTA, 1999)

lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. - Maria C. F. Ferreira; Delia Kesner; Laurence Puel (Appl. Algebra Eng. Commun. Comput., 1999)