Cite
Efficient theory combination via boolean search
MLA
Bozzano, Marco, et al. “Efficient Theory Combination via Boolean Search.” Information & Computation, vol. 204, no. 10, Oct. 2006, pp. 1493–525. EBSCOhost, https://doi.org/10.1016/j.ic.2005.05.011.
APA
Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., Ranise, S., van Rossum, P., & Sebastiani, R. (2006). Efficient theory combination via boolean search. Information & Computation, 204(10), 1493–1525. https://doi.org/10.1016/j.ic.2005.05.011
Chicago
Bozzano, Marco, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, and Roberto Sebastiani. 2006. “Efficient Theory Combination via Boolean Search.” Information & Computation 204 (10): 1493–1525. doi:10.1016/j.ic.2005.05.011.