TitleDistilling Programs to Prove Termination
Publication TypeJournal Article
Year of Publication2020
AuthorsHamilton G
JournalElectronic Proceedings in Theoretical Computer Science
URLhttp://eptcs.web.cse.unsw.edu.au/paper.cgi?VPTHCVS2020.10
DOI10.4204/EPTCS.320.10