## Adria Gascón, Ashish Tiwari, Manfred Schmidt-Schauß

*One Context Unification Problems Solvable in Polynomial Time*

LICS, 2015.

@inproceedings{LICS-2015-GasconTS, author = "Adria Gascón and Ashish Tiwari and Manfred Schmidt-Schauß", booktitle = "{Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2015.53", isbn = "978-1-4799-8875-4", pages = "499--510", publisher = "{IEEE}", title = "{One Context Unification Problems Solvable in Polynomial Time}", year = 2015, }