Auto-validation d’un vérificateur de preuves avec familles inductives (1999)

by B Barras