%0 Journal Article %1 journals/corr/TeuckeW15 %A Teucke, Andreas %A Weidenbach, Christoph %D 2015 %J CoRR %K %T First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement. %U http://dblp.uni-trier.de/db/journals/corr/corr1503.html#TeuckeW15 %V abs/1503.02971

@article{journals/corr/TeuckeW15, added-at = {2023-12-12T21:11:40.000+0100}, author = {Teucke, Andreas and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2a6ae66a1ba8c53ad914c70d5cf00edec/admin}, ee = {http://arxiv.org/abs/1503.02971}, interhash = {3a83b78ef3e2c03633d958cba37f0bc7}, intrahash = {a6ae66a1ba8c53ad914c70d5cf00edec}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T21:11:40.000+0100}, title = {First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1503.html#TeuckeW15}, volume = {abs/1503.02971}, year = 2015 }