APA (7th ed.) Citation

GEBSER, M., & SCHAUB, T. (2013). Tableau Calculi for Logic Programs under Answer Set Semantics. ACM Transactions on Computational Logic, 14(2), 1. https://doi.org/10.1145/2480759.2480767

Chicago Style (17th ed.) Citation

GEBSER, MARTIN, and TORSTEN SCHAUB. "Tableau Calculi for Logic Programs Under Answer Set Semantics." ACM Transactions on Computational Logic 14, no. 2 (2013): 1. https://doi.org/10.1145/2480759.2480767.

MLA (9th ed.) Citation

GEBSER, MARTIN, and TORSTEN SCHAUB. "Tableau Calculi for Logic Programs Under Answer Set Semantics." ACM Transactions on Computational Logic, vol. 14, no. 2, 2013, p. 1, https://doi.org/10.1145/2480759.2480767.