TY  - JOUR
AU  - P. Dimitrov
AU  - D. Vakarelov
TI  - Dynamic contact algebras and quantifier-free logics for space and time
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2018
SP  - 1103
EP  - 1144
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2018_15_a26/
LA  - en
ID  - SEMR_2018_15_a26
ER  -