Finding lexicographic orders for termination proofs in isabelle/hol (2007)

by L Bulwahn, A Krauss, T Nipkow
Venue:In TPHOLs