Mario Alviano, Sotiris Batsakis, George Baryannis. Modal Logic S5 Satisfiability in Answer Set Programming. TPLP, 21(5):527-542, 2021. [doi]
@article{AlvianoBB21,
title = {Modal Logic S5 Satisfiability in Answer Set Programming},
author = {Mario Alviano and Sotiris Batsakis and George Baryannis},
year = {2021},
doi = {10.1017/S1471068421000247},
url = {https://doi.org/10.1017/S1471068421000247},
researchr = {https://researchr.org/publication/AlvianoBB21},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {21},
number = {5},
pages = {527-542},
}