000003932 001__ 3932
000003932 005__ 20231206121125.0
000003932 0247_ $$2DOI$$a10.6083/nz805z99q
000003932 037__ $$aIR
000003932 245__ $$aErasure for termination proofs
000003932 269__ $$a1999
000003932 336__ $$aArticle
000003932 520__ $$acse-99-009
000003932 540__ $$fCC BY
000003932 542__ $$fIn copyright - single owner
000003932 691__ $$aOregon Graduate Institute
000003932 7001_ $$aXi, Hongwei
000003932 8564_ $$900c83899-e48f-4079-817f-ab9cc6c51fb3$$s314450$$uhttps://digitalcollections.ohsu.edu/record/3932/files/csetech-249.pdf
000003932 905__ $$a/rest/prod/nz/80/5z/99/nz805z99q
000003932 980__ $$aScholars Archive