Marco Bozzano Roberto Bruttomesso Alessandro Cimatti Tommi A. Junttila Silvio Ranise Peter van Rossum Roberto Sebastiani Efficient theory combination via boolean search. 1493-1525 2006 204 Inf. Comput. 10 http://dx.doi.org/10.1016/j.ic.2005.05.011 db/journals/iandc/iandc204.html#BozzanoBCJRRS06