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