@article{Heilbrunner_1983,
    doi = {10.1016/0022-0000(83)90026-0},
    url = {https://doi.org/10.1016%2F0022-0000%2883%2990026-0},
    year = {1983},
    month = {aug},
    publisher = {Elsevier {BV}},
    volume = {27},
    number = {1},
    pages = {1--13},
    author = {Stephan Heilbrunner},
    title = {Tests for the {LR}-, {LL}-, and {LC}-regular conditions},
    journal = {Journal of Computer and System Sciences}
}

@article{Heilbrunner_1983, doi = {10.1016/0022-0000(83)90026-0}, url = {https://doi.org/10.1016%2F0022-0000%2883%2990026-0}, year = {1983}, month = {aug}, publisher = {Elsevier {BV}}, volume = {27}, number = {1}, pages = {1--13}, author = {Stephan Heilbrunner}, title = {Tests for the {LR}-, {LL}-, and {LC}-regular conditions}, journal = {Journal of Computer and System Sciences} }