@article{IR,
      recid = {3932},
      author = {Xi, Hongwei},
      title = {Erasure for termination proofs},
      address = {1999},
      number = {IR},
      abstract = {cse-99-009},
      url = {http://digitalcollections.ohsu.edu/record/3932},
      doi = {https://doi.org/10.6083/nz805z99q},
}