TY  - RPRT
TI  - Hierarchies in independence and inclusion logic with strict semantics
AU  - Miika Hannula
AU  - Juha Kontinen
PY  - 2014
UR  - https://arxiv.org/abs/1401.3232
ID  - 1401.3232
ER  -