TY  - RPRT
TI  - Generalized Modal Satisfiability
AU  - Edith Hemaspaandra
AU  - Henning Schnoor
AU  - Ilka Schnoor
PY  - 2008
UR  - https://arxiv.org/abs/0804.2729
ID  - 0804.2729
ER  -