Algorithmic analysis of programs with well quasi-ordered domains (2000)

by P A ABDULLA, K ČERĀNS, B JONSSON, Y-K TSAY
Venue:Inform. Comput