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:8 - 4 self