An Improved General $E$-unification Method. Dougherty, D. J.\ & Johann, P. 1990. bibtex @conference{ c_cade90,
author = {Daniel J.\ Dougherty and Patricia Johann},
title = {An Improved General {$E$}-unification Method},
pages = {261--275},
booktitle = {Proc.\ 10th International Conference on
Automated Deduction, Kaiserslautern (Germany)},
year = {1990},
editor = {M. Stickel},
series = {Lecture Notes in Computer Science},
volume = {449},
abstract = {}
}
Downloads: 0
{"_id":{"_str":"51f6934359ced8df44000e53"},"__v":1,"authorIDs":[],"author_short":["Dougherty, D.<nbsp>J.\\","Johann, P."],"bibbaseid":"dougherty-johann-animprovedgeneraleunificationmethod-1990","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"c_cade90\"> </a>An Improved General $E$-unification Method.</span>\n\t<span class=\"bibbase_paper_author\">\nDougherty, D. J.\\; and Johann, P.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1990</span>. -->\n</span>\n\n\n\n 1990.\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_cade90')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"An Improved General $E$-unification Method [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_cade90\"\n style=\"display:none\">\n <pre>@conference{ c_cade90,\n author = {Daniel J.\\ Dougherty and Patricia Johann},\n title = {An Improved General {$E$}-unification Method},\n pages = {261--275},\n booktitle = {Proc.\\ 10th International Conference on\n Automated Deduction, Kaiserslautern (Germany)},\n year = {1990},\n editor = {M. Stickel},\n series = {Lecture Notes in Computer Science},\n volume = {449},\n abstract = {}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"dougherty-johann-animprovedgeneraleunificationmethod-1990","urls":{},"role":"author","abstract":"","author":["Dougherty, Daniel J.\\","Johann, Patricia"],"author_short":["Dougherty, D.<nbsp>J.\\","Johann, P."],"bibtex":"@conference{ c_cade90,\n author = {Daniel J.\\ Dougherty and Patricia Johann},\n title = {An Improved General {$E$}-unification Method},\n pages = {261--275},\n booktitle = {Proc.\\ 10th International Conference on\n Automated Deduction, Kaiserslautern (Germany)},\n year = {1990},\n editor = {M. Stickel},\n series = {Lecture Notes in Computer Science},\n volume = {449},\n abstract = {}\n}","bibtype":"conference","booktitle":"Proc.\\ 10th International Conference on Automated Deduction, Kaiserslautern (Germany)","editor":["Stickel, M."],"editor_short":["Stickel, M."],"id":"c_cade90","key":"c_cade90","pages":"261--275","series":"Lecture Notes in Computer Science","title":"An Improved General $E$-unification Method","type":"conference","volume":"449","year":"1990"},"bibtype":"conference","biburl":"http://web.cs.wpi.edu/~dd/publications/index.bib","downloads":0,"search_terms":["improved","general","unification","method","dougherty","johann"],"title":"An Improved General $E$-unification Method","year":1990,"dataSources":["HB5RrPb3Y5aikRoLH"]}