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

Journal Article

Author(s):Bernhard Beckert
Journal:Journal of Symbolic Computation
Number:1-2
Volume:36
Year:2003
Pages: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}
}