Interactive theorem proving with tasks (2004)

by M Hübner, S Autexier, C Benzmüller, A Meier
Venue:Electronic Notes in Theoretical Computer Science, 103(C):161–181