APA-Zitierstil (7. Ausg.)

Byskov, J. M., Madsen, B. A., & Skjernaa, B. (2005). New algorithms for Exact Satisfiability. Theoretical computer science, 332(1), 515-541. https://doi.org/10.1016/j.tcs.2004.12.023

Chicago-Zitierstil (17. Ausg.)

Byskov, Jesper Makholm, Bolette Ammitzbøll Madsen, und Bjarke Skjernaa. "New Algorithms for Exact Satisfiability." Theoretical Computer Science 332, no. 1 (2005): 515-541. https://doi.org/10.1016/j.tcs.2004.12.023.

MLA-Zitierstil (9. Ausg.)

Byskov, Jesper Makholm, et al. "New Algorithms for Exact Satisfiability." Theoretical Computer Science, vol. 332, no. 1, 2005, pp. 515-541, https://doi.org/10.1016/j.tcs.2004.12.023.