%0 Journal Article %1 journals/jucs/Stolzenburg99 %A Stolzenburg, Frieder %D 1999 %J J. Univers. Comput. Sci. %K dblp %N 3 %P 135-155 %T Loop-Detection in Hyper-Tableaux by Powerful Model Generation. %U http://dblp.uni-trier.de/db/journals/jucs/jucs5.html#Stolzenburg99 %V 5

@article{journals/jucs/Stolzenburg99, added-at = {2023-09-07T00:00:00.000+0200}, author = {Stolzenburg, Frieder}, biburl = {https://www.bibsonomy.org/bibtex/2bb2e0b46a2ebf45124b7799cfdad4839/dblp}, ee = {https://doi.org/10.3217/jucs-005-03-0135}, interhash = {185a85deaea7b2963ad71804742c94d7}, intrahash = {bb2e0b46a2ebf45124b7799cfdad4839}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {135-155}, timestamp = {2024-04-08T15:58:36.000+0200}, title = {Loop-Detection in Hyper-Tableaux by Powerful Model Generation.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs5.html#Stolzenburg99}, volume = 5, year = 1999 }