A relational shape abstract domain
scientific article; zbMATH DE number 7440327
scientific article