%0 Thesis %1 phd/de/Giese2002 %A Giese, Martin %D 2002 %K %P 1-146 %T Proof search without backtracking for free variable tableaux.

@phdthesis{phd/de/Giese2002, added-at = {2023-12-13T07:19:18.000+0100}, author = {Giese, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2f5366caf6af9a76f5d08e134c2a2bce1/admin}, ee = {http://d-nb.info/969806191}, interhash = {b79a0d916a69bc0c57522f309dbab1ba}, intrahash = {f5366caf6af9a76f5d08e134c2a2bce1}, keywords = {}, pages = {1-146}, school = {Karlsruhe Institute of Technology, Germany}, timestamp = {2023-12-13T07:19:18.000+0100}, title = {Proof search without backtracking for free variable tableaux.}, year = 2002 }