AC-uni cation is easy, Report, Laboratoire de Recherche en Informatique, Universite Paris-Sud (1989)

by A Boudet