@article{Levy_2010,
    doi = {10.1093/jigpal/jzq010},
    url = {https://doi.org/10.1093%2Fjigpal%2Fjzq010},
    year = {2010},
    month = {may},
    publisher = {Oxford University Press ({OUP})},
    volume = {19},
    number = {6},
    pages = {763--789},
    author = {J. Levy and M. Schmidt-Schauss and M. Villaret},
    title = {On the complexity of Bounded Second-Order Unification and Stratified Context Unification},
    journal = {Logic Journal of {IGPL}}
}

@article{Levy_2010, doi = {10.1093/jigpal/jzq010}, url = {https://doi.org/10.1093%2Fjigpal%2Fjzq010}, year = {2010}, month = {may}, publisher = {Oxford University Press ({OUP})}, volume = {19}, number = {6}, pages = {763--789}, author = {J. Levy and M. Schmidt-Schauss and M. Villaret}, title = {On the complexity of Bounded Second-Order Unification and Stratified Context Unification}, journal = {Logic Journal of {IGPL}} }