A general setting for flexibly combining and augmenting decision procedures
efficient combining and augmenting of decision procedures
scientific article; zbMATH DE number 1784332