@incollection{Leuschel_1998,
    doi = {10.1007/3-540-49727-7_14},
    url = {https://doi.org/10.1007%2F3-540-49727-7_14},
    year = {1998},
    publisher = {Springer Berlin Heidelberg},
    pages = {230--245},
    author = {Michael Leuschel},
    title = {On the Power of Homeomorphic Embedding for Online Termination},
    booktitle = {Static Analysis}
}

@incollection{Leuschel_1998, doi = {10.1007/3-540-49727-7_14}, url = {https://doi.org/10.1007%2F3-540-49727-7_14}, year = {1998}, publisher = {Springer Berlin Heidelberg}, pages = {230--245}, author = {Michael Leuschel}, title = {On the Power of Homeomorphic Embedding for Online Termination}, booktitle = {Static Analysis} }