"Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists."

Pranav Garg, P. Madhusudan, Gennaro Parlato (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics