@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} }