%0 Journal Article %1 journals/corr/cs-LO-0007020 %A Givan, Robert %A McAllester, David A. %D 2000 %J CoRR %K %T Polynomial-time Computation via Local Inference Relations %U http://dblp.uni-trier.de/db/journals/corr/corr0007.html#cs-LO-0007020 %V cs.LO/0007020

@article{journals/corr/cs-LO-0007020, added-at = {2023-12-12T18:57:55.000+0100}, author = {Givan, Robert and McAllester, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2092341f83c8a65e3443df5a037626b96/admin}, ee = {https://arxiv.org/abs/cs/0007020}, interhash = {19c9c81bd893cc1ed4cee58d8c7f7199}, intrahash = {092341f83c8a65e3443df5a037626b96}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T18:57:55.000+0100}, title = {Polynomial-time Computation via Local Inference Relations}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0007.html#cs-LO-0007020}, volume = {cs.LO/0007020}, year = 2000 }