TY  - RPRT
TI  - Some connections between universal algebra and logics for trees
AU  - Mikołaj Bojańczyk
AU  - Henryk Michalewski
PY  - 2017
UR  - https://arxiv.org/abs/1703.04736
ID  - 1703.04736
ER  -