Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs
scientific article; zbMATH DE number 7498608
scientific article