@article{Stra_burger_2003,
    doi = {10.1016/s1571-0661(04)80853-3},
    url = {https://doi.org/10.1016%2Fs1571-0661%2804%2980853-3},
    year = {2003},
    month = {sep},
    publisher = {Elsevier {BV}},
    volume = {84},
    pages = {166--177},
    author = {Lutz Stra{\ss}burger},
    title = {System {NEL} is Undecidable},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Stra_burger_2003, doi = {10.1016/s1571-0661(04)80853-3}, url = {https://doi.org/10.1016%2Fs1571-0661%2804%2980853-3}, year = {2003}, month = {sep}, publisher = {Elsevier {BV}}, volume = {84}, pages = {166--177}, author = {Lutz Stra{\ss}burger}, title = {System {NEL} is Undecidable}, journal = {Electronic Notes in Theoretical Computer Science} }