Formalizing non-termination of recursive programs

TitleFormalizing non-termination of recursive programs
Publication TypeJournal Article
Year of Publication2001
AuthorsKahle, R, Studer, T
JournalJournal of Logic and Algebraic Programming
Volume49
Pagination1-14
URLhttp://www.iam.unibe.ch/ltgpub/2001/ks01.pdf