https://123dok.org/document/rz3d2jmy-delayed-theory-combination-nelson-satisfiability-theories-comparative-analysis.html