%0 Conference Paper %1 conf/cade/RegerSV15 %A Reger, Giles %A Suda, Martin %A Voronkov, Andrei %B CADE %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer %K %P 399-415 %T Playing with AVATAR. %U http://dblp.uni-trier.de/db/conf/cade/cade2015.html#RegerSV15 %V 9195 %@ 978-3-319-21400-9

@inproceedings{conf/cade/RegerSV15, added-at = {2023-12-12T21:27:48.000+0100}, author = {Reger, Giles and Suda, Martin and Voronkov, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/289a21231b929733d9e1910215cb5e959/admin}, booktitle = {CADE}, crossref = {conf/cade/2015}, editor = {Felty, Amy P. and Middeldorp, Aart}, ee = {https://doi.org/10.1007/978-3-319-21401-6_28}, interhash = {3e8e5e3df905778004f2850314a463c9}, intrahash = {89a21231b929733d9e1910215cb5e959}, isbn = {978-3-319-21400-9}, keywords = {}, pages = {399-415}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:27:48.000+0100}, title = {Playing with AVATAR.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2015.html#RegerSV15}, volume = 9195, year = 2015 }