APA-Zitierstil (7. Ausg.)

BRUMMAYER, R., & JÄRVISALO, M. (2010). Testing and debugging techniques for answer set solver development. Theory and practice of logic programming, 10(4-6), 741-758. https://doi.org/10.1017/S1471068410000396

Chicago-Zitierstil (17. Ausg.)

BRUMMAYER, ROBERT, und MATTI JÄRVISALO. "Testing and Debugging Techniques for Answer Set Solver Development." Theory and Practice of Logic Programming 10, no. 4-6 (2010): 741-758. https://doi.org/10.1017/S1471068410000396.

MLA-Zitierstil (9. Ausg.)

BRUMMAYER, ROBERT, und MATTI JÄRVISALO. "Testing and Debugging Techniques for Answer Set Solver Development." Theory and Practice of Logic Programming, vol. 10, no. 4-6, 2010, pp. 741-758, https://doi.org/10.1017/S1471068410000396.