TY  - RPRT
TI  - Topological Semantics and Decidability
AU  - Dmitry Sustretov
PY  - 2007
UR  - https://arxiv.org/abs/math/0703106
ID  - math/0703106
ER  -