Certification of termination proofs using CeTA (2009)

by René Thiemann , Christian Sternagel
Venue:In Proc. TPHOLs’09, LNCS 5674
Citations:21 - 13 self