@article{Gasc_n_2010,
    doi = {10.1016/j.jsc.2008.10.005},
    url = {https://doi.org/10.1016%2Fj.jsc.2008.10.005},
    year = {2010},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {45},
    number = {2},
    pages = {173--193},
    author = {Adri{\`{a}} Gasc{\'{o}}n and Guillem Godoy and Manfred Schmidt-Schau{\ss} and Ashish Tiwari},
    title = {Context unification with one context variable},
    journal = {Journal of Symbolic Computation}
}

@article{Gasc_n_2010, doi = {10.1016/j.jsc.2008.10.005}, url = {https://doi.org/10.1016%2Fj.jsc.2008.10.005}, year = {2010}, month = {feb}, publisher = {Elsevier {BV}}, volume = {45}, number = {2}, pages = {173--193}, author = {Adri{`{a}} Gasc{\'{o}}n and Guillem Godoy and Manfred Schmidt-Schau{\ss} and Ashish Tiwari}, title = {Context unification with one context variable}, journal = {Journal of Symbolic Computation} }