TY  - RPRT
TI  - Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists
AU  - Pranav Garg
AU  - P. Madhusudan
AU  - Gennaro Parlato
PY  - 2013
UR  - https://arxiv.org/abs/1304.0660
ID  - 1304.0660
ER  -