Introducing General Redundancy Criteria for Clausal Tableaux, and Proposing Resolution Tableaux (bibtex)
by Gergely Kovásznai, Gábor Kusper
Reference:
Introducing General Redundancy Criteria for Clausal Tableaux, and Proposing Resolution TableauxGergely Kovásznai, Gábor KusperAnnales Mathematicae et Informaticae, volume 36, pages 85-101, 2009.
Bibtex Entry:
@article{KovasznaiKusperAMI2009,
  author    = {Gergely Kov\'asznai and G\'abor Kusper},
  title     = {Introducing General Redundancy Criteria for Clausal Tableaux, and Proposing Resolution Tableaux},
  year      = {2009},
  journal   = {Annales Mathematicae et Informaticae},
  volume    = {36},
  pages     = {85-101},
  URL       = {http://ami.ektf.hu/index.php?vol=36}
}
Powered by bibtexbrowser