Algorithmic Analysis of Programs with Well Quasi-Ordered Domains. (2000)

by P A Abdulla, K Cerans, B Jonsson
Venue:Proc. ICom,