Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Depth-first Proof Search without Backtracking for Free-variable Clausal Tableaux

Zeitschriftenartikel

Autor(en):Bernhard Beckert
Zeitschrift:Journal of Symbolic Computation
Nummer:1-2
Band:36
Jahr:2003
Seiten:117-138
DOI:10.1016/S0747-7171(03)00026-9

BibTeX

@article{Beckert2003,
  author        = {Bernhard Beckert},
  title         = {Depth-first Proof Search without Backtracking for
                   Free-variable Clausal Tableaux},
  journal       = {Journal of Symbolic Computation},
  volume        = {36},
  number        = {1-2},
  pages         = {117--138},
  doi           = {10.1016/S0747-7171(03)00026-9},
  year          = {2003}
}