TY  - RPRT
TI  - From algebra to logic: there and back again -- the story of a hierarchy
AU  - Pascal Weil
PY  - 2014
UR  - https://arxiv.org/abs/1406.1035
ID  - 1406.1035
ER  -