TY  - RPRT
TI  - Parameterized Modal Satisfiability
AU  - Antonis Achilleos
AU  - Michael Lampis
AU  - Valia Mitsou
PY  - 2009
UR  - https://arxiv.org/abs/0912.4941
ID  - 0912.4941
ER  -