TY  - GEN
AB  - cse-99-009
AU  - Xi, Hongwei
DA  - 1999
DO  - 10.6083/nz805z99q
DO  - DOI
ID  - 3932
L1  - https://digitalcollections.ohsu.edu/record/3932/files/csetech-249.pdf
L2  - https://digitalcollections.ohsu.edu/record/3932/files/csetech-249.pdf
L4  - https://digitalcollections.ohsu.edu/record/3932/files/csetech-249.pdf
LK  - https://digitalcollections.ohsu.edu/record/3932/files/csetech-249.pdf
N2  - cse-99-009
PY  - 1999
T1  - Erasure for termination proofs
TI  - Erasure for termination proofs
UR  - https://digitalcollections.ohsu.edu/record/3932/files/csetech-249.pdf
Y1  - 1999
ER  -