Regular approximation and bounded domains for size-change termination.

Hugh Anderson, Siau-Cheng Khoo

Browse the full PEPM paper archive.