Alexander Krauss. Automating recursive definitions and termination proofs in higher-order logic. PhD thesis, Technical University Munich, 2009. [doi]
@phdthesis{de-4056, title = {Automating recursive definitions and termination proofs in higher-order logic}, author = {Alexander Krauss}, year = {2009}, url = {http://mediatum2.ub.tum.de/doc/681651/document.pdf}, note = {http://d-nb.info/99656456X}, researchr = {https://researchr.org/publication/de-4056}, cites = {0}, citedby = {0}, school = {Technical University Munich}, }