Redundancy for Rigid Clausal Tableaux (bibtex)
by Gergely Kovásznai
Reference:
Redundancy for Rigid Clausal TableauxGergely KovásznaiProceedings of the 7th International Conference on Applied Informatics (ICAI 2007), pages 65-74, 28-31 Januar 2007.
Bibtex Entry:
@inproceedings{KovasznaiICAI2007,
  author    = {Gergely Kov\'asznai},
  title     = {Redundancy for Rigid Clausal Tableaux},
  booktitle = {Proceedings of the 7th International Conference on Applied Informatics (ICAI 2007)},
  address   = {Eger, Hungary},
  year      = {2007},
  month     = {28-31 Januar},
  volume    = {1},
  pages     = {65-74},
  URL       = {http://icai.ektf.hu/proceedings.php?p=2007}
}
Powered by bibtexbrowser