Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla. Type-based homeomorphic embedding for online termination. Inf. Process. Lett., 109(15):879-886, 2009. [doi]
@article{AlbertGGP09,
title = {Type-based homeomorphic embedding for online termination},
author = {Elvira Albert and John P. Gallagher and Miguel Gómez-Zamalloa and Germán Puebla},
year = {2009},
doi = {10.1016/j.ipl.2009.04.016},
url = {http://dx.doi.org/10.1016/j.ipl.2009.04.016},
tags = {rule-based, termination},
researchr = {https://researchr.org/publication/AlbertGGP09},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {109},
number = {15},
pages = {879-886},
}