Gentzen systems, resolution, and literal trees. Dougherty, D. J. Notre Dame Journal of Formal Logic, 27:483--503, 1986. bibtex @article{ a_ndjfl86,
author = {Daniel J. Dougherty},
title = {Gentzen systems, resolution, and literal trees},
journal = {Notre Dame Journal of Formal Logic},
year = {1986},
volume = {27},
abstract = {},
pages = {483--503}
}
Downloads: 0
{"_id":{"_str":"51f6934359ced8df44000e60"},"__v":1,"authorIDs":[],"author_short":["Dougherty, D.<nbsp>J."],"bibbaseid":"dougherty-gentzensystemsresolutionandliteraltrees-1986","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"a_ndjfl86\"> </a>Gentzen systems, resolution, and literal trees.</span>\n\t<span class=\"bibbase_paper_author\">\nDougherty, D. J.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1986</span>. -->\n</span>\n\n\n\n<i>Notre Dame Journal of Formal Logic</i>,\n\n27:483--503.\n\n 1986.\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('a_ndjfl86')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"Gentzen systems, resolution, and literal trees [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_a_ndjfl86\"\n style=\"display:none\">\n <pre>@article{ a_ndjfl86,\n author = {Daniel J. Dougherty},\n title = {Gentzen systems, resolution, and literal trees},\n journal = {Notre Dame Journal of Formal Logic},\n year = {1986},\n volume = {27},\n abstract = {},\n pages = {483--503}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"dougherty-gentzensystemsresolutionandliteraltrees-1986","urls":{},"role":"author","abstract":"","author":["Dougherty, Daniel J."],"author_short":["Dougherty, D.<nbsp>J."],"bibtex":"@article{ a_ndjfl86,\n author = {Daniel J. Dougherty},\n title = {Gentzen systems, resolution, and literal trees},\n journal = {Notre Dame Journal of Formal Logic},\n year = {1986},\n volume = {27},\n abstract = {},\n pages = {483--503}\n}","bibtype":"article","id":"a_ndjfl86","journal":"Notre Dame Journal of Formal Logic","key":"a_ndjfl86","pages":"483--503","title":"Gentzen systems, resolution, and literal trees","type":"article","volume":"27","year":"1986"},"bibtype":"article","biburl":"http://web.cs.wpi.edu/~dd/publications/index.bib","downloads":0,"search_terms":["gentzen","systems","resolution","literal","trees","dougherty"],"title":"Gentzen systems, resolution, and literal trees","year":1986,"dataSources":["HB5RrPb3Y5aikRoLH"]}