Yuting Chen, Laura Kovács, Simon Robillard. Theory-Specific Reasoning about Loops with Arrays using Vampire. In Laura Kovács, Andrei Voronkov, editors, Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. Volume 44 of EPiC Series in Computing, pages 16-32, EasyChair, 2016. [doi]
@inproceedings{ChenKR16-0, title = {Theory-Specific Reasoning about Loops with Arrays using Vampire}, author = {Yuting Chen and Laura Kovács and Simon Robillard}, year = {2016}, url = {http://www.easychair.org/publications/paper/Theory-Specific_Reasoning_about_Loops_with_Arrays_using_Vampire}, researchr = {https://researchr.org/publication/ChenKR16-0}, cites = {0}, citedby = {0}, pages = {16-32}, booktitle = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016}, editor = {Laura Kovács and Andrei Voronkov}, volume = {44}, series = {EPiC Series in Computing}, publisher = {EasyChair}, }