Linear Clause Generation by Tableaux and DAGs (bibtex)
by Gergely Kovásznai
Reference:
Linear Clause Generation by Tableaux and DAGsGergely KovásznaiTeaching Mathematics and Computer Science, volume 5, number 1, pages 109-118, 2007.
Bibtex Entry:
@article{KovasznaiTMCS2007,
  author    = {Gergely Kov\'asznai},
  title     = {Linear Clause Generation by Tableaux and {DAGs}},
  year      = {2007},
  journal   = {Teaching Mathematics and Computer Science},
  volume    = {5},
  number    = {1},
  pages     = {109-118},
  URL       = {http://tmcs.math.klte.hu/Contents/2007-Vol-V-Issue-I.html}
}
Powered by bibtexbrowser