Automating recursive definitions and termination proofs in higher-order logic. Krauss, A. Ph.D. Thesis, Technical University Munich, 2009.
Automating recursive definitions and termination proofs in higher-order logic [pdf]Paper  bibtex   

Downloads: 0