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
{"_id":{"_str":"5216e01aa941257561000a06"},"__v":10,"authorIDs":["5456e8af8b01c81930000051","545b23cfb43425b7720012ca"],"author_short":["Frisch, A. M.","Cohn, A. G.","Kapur, D."],"bibbaseid":"frisch-cohn-kapur-anabstractviewofsortedunification-1992","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alan","M."],"propositions":[],"lastnames":["Frisch"],"suffixes":[]},{"firstnames":["Anthony","G."],"propositions":[],"lastnames":["Cohn"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Kapur"],"suffixes":[]}],"title":"An Abstract View of Sorted Unification","booktitle":"Proceedings of the Eleventh International Conference on Automated Deduction","month":"June","pages":"178-192","year":"1992","bibtex":"@inproceedings{ Frisch+Cohn/92/Abstract,\n author = {Alan M. Frisch and Anthony G. Cohn and D. Kapur},\n title = {An Abstract View of Sorted Unification},\n booktitle = {Proceedings of the Eleventh International Conference on Automated Deduction},\n month = {June},\n pages = {178-192} ,\n year = {1992}\n}\n\n\n","author_short":["Frisch, A. M.","Cohn, A. G.","Kapur, D."],"key":"Frisch+Cohn/92/Abstract","id":"Frisch+Cohn/92/Abstract","bibbaseid":"frisch-cohn-kapur-anabstractviewofsortedunification-1992","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/alan-m-frisch/?format=bibtex","downloads":0,"keywords":[],"search_terms":["abstract","view","sorted","unification","frisch","cohn","kapur"],"title":"An Abstract View of Sorted Unification","title_words":["abstract","view","sorted","unification"],"year":1992,"dataSources":["jQ9mqaWfZRivmkPSw"]}