Demonstration Automatique dans le Calcul des Constructions (1991)

by G Dowek