APA (7th ed.) Citation

Naumowicz, A. (2015). Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver. Journal of Automated Reasoning, 55(3), 285. https://doi.org/10.1007/s10817-015-9332-6

Chicago Style (17th ed.) Citation

Naumowicz, Adam. "Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver." Journal of Automated Reasoning 55, no. 3 (2015): 285. https://doi.org/10.1007/s10817-015-9332-6.

MLA (9th ed.) Citation

Naumowicz, Adam. "Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver." Journal of Automated Reasoning, vol. 55, no. 3, 2015, p. 285, https://doi.org/10.1007/s10817-015-9332-6.