Retrieving Library Identifiers via Equational Matching of Types. - Mikael Rittri (CADE, 1990)

Using Types as Search Keys in Function Libraries. - Mikael Rittri (J. Funct. Program., 1991)

Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism. - Mikael Rittri (RAIRO Theor. Informatics Appl., 1993)

Semi-Unification of Two Terms in Abelian Groups. - Mikael Rittri (Inf. Process. Lett., 1994)

On Generating unique Names. - Lennart Augustsson; Mikael Rittri; Dan Synek (J. Funct. Program., 1994)

Dimension Inference Under Polymorphic Recursion. - Mikael Rittri (FPCA, 1995)

Corrigendum: Semi-Unification of Two Terms in Abelian Groups. - Mikael Rittri (Inf. Process. Lett., 1995)