"Prime Factorizations of Abstract Domains Using First Order Logic."

Elena Marchiori (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics