Méthodes de schématisation pour la démonstration automatique. (Schematization methods for theorem proving). - Ali Amaniss (1996)

Set Operations for Recurrent Term Schematizations. - Ali Amaniss; Miki Hermann; Denis Lugiez (TAPSOFT, 1997)