%0 Conference Paper %1 conf/cav/BansalR0BW15 %A Bansal, Kshitij %A Reynolds, Andrew %A King, Tim %A Barrett, Clark W. %A Wies, Thomas %B CAV (2) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K %P 87-105 %T Deciding Local Theory Extensions via E-matching. %U http://dblp.uni-trier.de/db/conf/cav/cav2015.html#BansalR0BW15 %V 9207 %@ 978-3-319-21667-6

@inproceedings{conf/cav/BansalR0BW15, added-at = {2023-12-12T19:59:44.000+0100}, author = {Bansal, Kshitij and Reynolds, Andrew and King, Tim and Barrett, Clark W. and Wies, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2c89b0f754bfaa0e28d6d43f2b4ccd5af/admin}, booktitle = {CAV (2)}, crossref = {conf/cav/2015}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-319-21668-3_6}, interhash = {28fd43e7beaa92ea3495ac741ed73c10}, intrahash = {c89b0f754bfaa0e28d6d43f2b4ccd5af}, isbn = {978-3-319-21667-6}, keywords = {}, pages = {87-105}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:59:44.000+0100}, title = {Deciding Local Theory Extensions via E-matching.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015.html#BansalR0BW15}, volume = 9207, year = 2015 }