%0 Conference Paper %1 conf/cade/HoderV11 %A Hoder, Krystof %A Voronkov, Andrei %B CADE %D 2011 %E Bjørner, Nikolaj %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 299-314 %T Sine Qua Non for Large Theory Reasoning. %U http://dblp.uni-trier.de/db/conf/cade/cade2011.html#HoderV11 %V 6803 %@ 978-3-642-22437-9

@inproceedings{conf/cade/HoderV11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hoder, Krystof and Voronkov, Andrei}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27a09596bfe8394b1a87598f026973327/dblp}, booktitle = {CADE}, crossref = {conf/cade/2011}, editor = {Bjørner, Nikolaj and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-642-22438-6_23}, interhash = {1b5668eed93950059ef00d50ce12113c}, intrahash = {7a09596bfe8394b1a87598f026973327}, isbn = {978-3-642-22437-9}, keywords = {dblp}, pages = {299-314}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:26.000+0200}, title = {Sine Qua Non for Large Theory Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2011.html#HoderV11}, volume = 6803, year = 2011 }