Comparaison et évolution de schémas XML / Joshua AMAVI ; sous la direction de Mirian
HALFELD FERRARI et Pierre RÉTY, membre du jury Michaël RUSINOWITCH, président du jury
Véronique BENZAKEN. Thèse de doctorat : Informatique : Orléans : 2014
Information trouvée : Directeur de Recherche, INRIA Nancy (en 2014)
Démonstration automatique par des techniques de réécriture / Michael Rusinowitch,
1987 [thèse]. Démonstration automatique... / M. Rusinowitch, 1989