Philip T. Cox. On Determining the Cause of Nonunifiability. Journal of Logic and Algebraic Programming, 4(1):33-58, 1987.
@article{Cox87:1, title = {On Determining the Cause of Nonunifiability}, author = {Philip T. Cox}, year = {1987}, researchr = {https://researchr.org/publication/Cox87%3A1}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {4}, number = {1}, pages = {33-58}, }