@conference{ c_cade92,
  author = {Daniel J.\ Dougherty and Patricia Johann},
  title = {A Combinatory Logic Approach to Higher-Order
                  {{$E$}-Unification}},
  pages = {79--93},
  isbn = {3-540-55602-8},
  editor = {Deepak Kapur},
  booktitle = {Proc.\ 11th International Conference on
                  Automated Deduction ({CADE}-11)},
  address = {Saratoga Springs, NY},
  year = {1992},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {607},
  abstract = {}
}

{"_id":{"_str":"51f6934359ced8df44000e52"},"__v":1,"authorIDs":[],"author_short":["Dougherty, D.<nbsp>J.\\","Johann, P."],"bibbaseid":"dougherty-johann-acombinatorylogicapproachtohigherordereunification-1992","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"c_cade92\"> </a>A Combinatory Logic Approach to Higher-Order $E$-Unification.</span>\n\t<span class=\"bibbase_paper_author\">\nDougherty, D.&nbsp;J.\\; and Johann, P.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1992</span>. -->\n</span>\n\n\n\n 1992.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('c_cade92')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"A Combinatory Logic Approach to Higher-Order $E$-Unification [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_c_cade92\"\n style=\"display:none\">\n <pre>@conference{ c_cade92,\n author = {Daniel J.\\ Dougherty and Patricia Johann},\n title = {A Combinatory Logic Approach to Higher-Order\n {{$E$}-Unification}},\n pages = {79--93},\n isbn = {3-540-55602-8},\n editor = {Deepak Kapur},\n booktitle = {Proc.\\ 11th International Conference on\n Automated Deduction ({CADE}-11)},\n address = {Saratoga Springs, NY},\n year = {1992},\n series = {Lecture Notes in Artificial Intelligence},\n volume = {607},\n abstract = {}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"dougherty-johann-acombinatorylogicapproachtohigherordereunification-1992","urls":{},"role":"author","abstract":"","address":"Saratoga Springs, NY","author":["Dougherty, Daniel J.\\","Johann, Patricia"],"author_short":["Dougherty, D.<nbsp>J.\\","Johann, P."],"bibtex":"@conference{ c_cade92,\n author = {Daniel J.\\ Dougherty and Patricia Johann},\n title = {A Combinatory Logic Approach to Higher-Order\n {{$E$}-Unification}},\n pages = {79--93},\n isbn = {3-540-55602-8},\n editor = {Deepak Kapur},\n booktitle = {Proc.\\ 11th International Conference on\n Automated Deduction ({CADE}-11)},\n address = {Saratoga Springs, NY},\n year = {1992},\n series = {Lecture Notes in Artificial Intelligence},\n volume = {607},\n abstract = {}\n}","bibtype":"conference","booktitle":"Proc.\\ 11th International Conference on Automated Deduction (CADE-11)","editor":["Kapur, Deepak"],"editor_short":["Kapur, D."],"id":"c_cade92","isbn":"3-540-55602-8","key":"c_cade92","pages":"79--93","series":"Lecture Notes in Artificial Intelligence","title":"A Combinatory Logic Approach to Higher-Order $E$-Unification","type":"conference","volume":"607","year":"1992"},"bibtype":"conference","biburl":"http://web.cs.wpi.edu/~dd/publications/index.bib","downloads":0,"search_terms":["combinatory","logic","approach","higher","order","unification","dougherty","johann"],"title":"A Combinatory Logic Approach to Higher-Order $E$-Unification","year":1992,"dataSources":["HB5RrPb3Y5aikRoLH"]}