Parallelizing SMT solving: lazy decomposition and conciliation
theory of equality with uninterpreted functions
scientific article; zbMATH DE number 6869125
scientific article