On the power of homeomorphic embedding for online termination (1998)

by M Leuschel
Venue:Static Analysis. Proceedings of SAS’98, LNCS 1503