Michel Herment. GLEF ATINF, un cadre générique pour la connexion d'outils d'inférence et l'édition graphique de preuves. (GLEFATINF, a generic graphic framework for combining inference tools and editing proofs and formulae). PhD thesis, Grenoble Institute of Technology, France, 1994. [doi]
Abstract is missing.