Demonstration Automatique dans le Calcul des Constructions (1991)

by Gilles Dowek