Theory-Specific Reasoning about Loops with Arrays using Vampire.

Yuting Chen, Laura Kovcs, Simon Robillard

Browse the full CADE paper archive.