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

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert
In:Third International Workshop on First-Order Theorem Proving (FTP 2000)
Year:2000
Pages:44-55

BibTeX

@InProceedings{Beckert00a,
  author        = {Bernhard Beckert},
  title         = {Depth-first Proof Search without Backtracking for
                   Free-variable Clausal Tableaux},
  booktitle     = {Third International Workshop on First-Order Theorem
                   Proving ({FTP} 2000)},
  venue         = {{St. Andrews}, Scotland},
  editor        = {P. Baumgartner and H. Zhang},
  pages         = {44--55},
  year          = {2000}                            
}