"Improving data-intensive EDA performance with annotation-driven laziness."

Quirino Zagarese et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics