TY  - RPRT
TI  - Modal Logic S5 Satisfiability in Answer Set Programming
AU  - Mario Alviano
AU  - Sotiris Batsakis
AU  - George Baryannis
PY  - 2021
DO  - 10.1017/s1471068421000247
UR  - https://arxiv.org/abs/2108.04194
ID  - 2108.04194
ER  -