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