APA (7th ed.) Citation

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 Style (17th ed.) Citation

BRUMMAYER, ROBERT, and 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 (9th ed.) Citation

BRUMMAYER, ROBERT, and 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.