Bayless, S.; Bayless, N.; Hoos, H.; Hu, A. SAT Modulo Monotonic Theories. AAAI 2015, 29.