An Abstract View of Sorted Unification. Frisch, A. M., Cohn, A. G., & Kapur, D. In Proceedings of the Eleventh International Conference on Automated Deduction, pages 178-192, June, 1992.
bibtex   
@inproceedings{ Frisch+Cohn/92/Abstract,
  author    = {Alan M. Frisch and Anthony G. Cohn and D. Kapur},
  title     = {An Abstract View of Sorted Unification},
  booktitle   = {Proceedings of the Eleventh International Conference on Automated Deduction},
  month   = {June},
  pages   = {178-192} ,
  year   = {1992}
}

Downloads: 0