APA (7th ed.) Citation

Heule, M., Järvisalo, M., Lonsing, F., Seidl, M., & Biere, A. (2015). Clause Elimination for SAT and QSAT. The Journal of artificial intelligence research, 53, 127-168. https://doi.org/10.1613/jair.4694

Chicago Style (17th ed.) Citation

Heule, Marijn, Matti Järvisalo, Florian Lonsing, Martina Seidl, and Armin Biere. "Clause Elimination for SAT and QSAT." The Journal of Artificial Intelligence Research 53 (2015): 127-168. https://doi.org/10.1613/jair.4694.

MLA (9th ed.) Citation

Heule, Marijn, et al. "Clause Elimination for SAT and QSAT." The Journal of Artificial Intelligence Research, vol. 53, 2015, pp. 127-168, https://doi.org/10.1613/jair.4694.