Miki Hermann, Phokion G. Kolaitis. Unification Algorithms Cannot Be Combined in Polynomial Time. Inf. Comput., 162(1-2):24-42, 2000.
@article{HermannK00, title = {Unification Algorithms Cannot Be Combined in Polynomial Time}, author = {Miki Hermann and Phokion G. Kolaitis}, year = {2000}, researchr = {https://researchr.org/publication/HermannK00}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {162}, number = {1-2}, pages = {24-42}, }