Dependency Graphs for Interactive Theorem Provers (2000)

by Yves Bertot, Olivier Pons, Loïc Pottier