TY  - RPRT
TI  - Sahlqvist via Translation
AU  - Willem Conradie
AU  - Alessandra Palmigiano
AU  - Zhiguang Zhao
PY  - 2019
DO  - 10.23638/lmcs-15(1:15)2019
UR  - https://arxiv.org/abs/1603.08220
ID  - 1603.08220
ER  -