Flexible proof production in an industrial-strength SMT solver
scientific article; zbMATH DE number 7628179
scientific article