"An Abstract Domain to Infer Types over Zones in Spreadsheets."

Tie Cheng, Xavier Rival (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics