TY  - RPRT
TI  - Loop Summarization with Rational Vector Addition Systems (extended version)
AU  - Jake Silverman
AU  - Zachary Kincaid
PY  - 2019
UR  - https://arxiv.org/abs/1905.06495
ID  - 1905.06495
ER  -