Complexity, convexity and combinations of theories
complexity of decidable combinations of theories
scientific article; zbMATH DE number 3681732
scientific article