Termination Orderings for Rippling.

David A. Basin, Toby Walsh

Browse the full CADE paper archive.