@dblp

Regular approximation and bounded domains for size-change termination.

, and . PEPM, page 53-62. ACM, (2010)

Links and resources

Tags