@article{Schmidt_Schauss_2002,
    doi = {10.1093/logcom/12.6.929},
    url = {https://doi.org/10.1093%2Flogcom%2F12.6.929},
    year = {2002},
    month = {dec},
    publisher = {Oxford University Press ({OUP})},
    volume = {12},
    number = {6},
    pages = {929--953},
    author = {M. Schmidt-Schauss},
    title = {A Decision Algorithm for Stratified Context Unification},
    journal = {Journal of Logic and Computation}
}

@article{Schmidt_Schauss_2002, doi = {10.1093/logcom/12.6.929}, url = {https://doi.org/10.1093%2Flogcom%2F12.6.929}, year = {2002}, month = {dec}, publisher = {Oxford University Press ({OUP})}, volume = {12}, number = {6}, pages = {929--953}, author = {M. Schmidt-Schauss}, title = {A Decision Algorithm for Stratified Context Unification}, journal = {Journal of Logic and Computation} }