Termination analysis for functional programs (1998)

by Jürgen Giesl , Christoph Walther , Jürgen Brauburger
Venue:AUTOMATED DEDUCTION -- A BASIS FOR APPLICATIONS, VOL. III, APPLIED LOGIC SERIES 10
Citations:10 - 5 self