Formalizing non-termination of recursive programs (0)

by R Kahle, T Studer
Venue:J. of Logic and Algebraic Programming