logo
BibTeX Entry


@article{Parosh:Bengt:Karlis:Tsay:general:IC,
  author	= {Abdulla, Parosh Aziz and Cerans, Karlis and Jonsson, Bengt and Tsay, Yih-Kuen},
  title		= {Algorithmic Analysis of Programs with Well Quasi-Ordered Domains},
  journal	= {Information and Computation},
  volume	= {160},
  year		= {2000},
  pages		= {109--127},
  URL		= {files/general_ic.ps}
}