Theory decision by decomposition
satisfiability modulo theories: decision procedures
scientific article; zbMATH DE number 5641699
scientific article