Automating Recursive Definitions and Termination Proofs in Higher-Order Logic (2009)

by A Krauss
Venue:PhD thesis, Institut für Informatik, Technische Universität