An abstraction-refinement framework for reasoning with large theories
scientific article; zbMATH DE number 6958129