Parlato, 2013. Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists.