APA (7th ed.) Citation

ALVIANO, M., BATSAKIS, S., & BARYANNIS, G. (2021). Modal Logic S5 Satisfiability in Answer Set Programming. Theory and practice of logic programming, 21(5), 527-542. https://doi.org/10.1017/S1471068421000247

Chicago Style (17th ed.) Citation

ALVIANO, MARIO, SOTIRIS BATSAKIS, and GEORGE BARYANNIS. "Modal Logic S5 Satisfiability in Answer Set Programming." Theory and Practice of Logic Programming 21, no. 5 (2021): 527-542. https://doi.org/10.1017/S1471068421000247.

MLA (9th ed.) Citation

ALVIANO, MARIO, et al. "Modal Logic S5 Satisfiability in Answer Set Programming." Theory and Practice of Logic Programming, vol. 21, no. 5, 2021, pp. 527-542, https://doi.org/10.1017/S1471068421000247.