@article{Xi_2002,
    author = {Hongwei Xi and -Shin Jr Li},
    Title = {Dependent Types for Program Termination Verification},
    Year = {2002},
    Journal = {Higher-Order and Symbolic Computation},
    DOI = {https://dx.doi.org/10.1023/a:1019916231463},
    URL = {https://doi.org/10.1023%2Fa%3A1019916231463},
    date-modified = {2025-10-13 8:14:56 +0100}
}

@article{Xi_2002, author = {Hongwei Xi and -Shin Jr Li}, Title = {Dependent Types for Program Termination Verification}, Year = {2002}, Journal = {Higher-Order and Symbolic Computation}, DOI = {https://dx.doi.org/10.1023/a:1019916231463}, URL = {https://doi.org/10.1023%2Fa%3A1019916231463}, date-modified = {2025-10-13 8:14:56 +0100} }