Deepak Kapur, Paliath Narendran. Matching, unification and complexity. ACM Comm. Computer Algebra, 21(4):6-9, 1987. [doi]
@article{KapurN87, title = {Matching, unification and complexity}, author = {Deepak Kapur and Paliath Narendran}, year = {1987}, doi = {10.1145/36330.36332}, url = {http://doi.acm.org/10.1145/36330.36332}, researchr = {https://researchr.org/publication/KapurN87}, cites = {0}, citedby = {0}, journal = {ACM Comm. Computer Algebra}, volume = {21}, number = {4}, pages = {6-9}, }