A Unified Framework for DPLL(T) + Certificates

Figure 2

Example of a generalized implication graph.