Manfred Schmidt-Schauß, Klaus U. Schulz
Solvability of Context Equations with Two Context Variables is Decidable
CADE, 1999.
@inproceedings{CADE-1999-Schmidt-SchaussS, author = "Manfred Schmidt-Schauß and Klaus U. Schulz", booktitle = "{Proceedings of the 16th International Conference on Automated Deduction}", doi = "10.1007/3-540-48660-7_5", isbn = "3-540-66222-7", pages = "67--81", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Solvability of Context Equations with Two Context Variables is Decidable}", volume = 1632, year = 1999, }