TY  - RPRT
TI  - Named Models in Coalgebraic Hybrid Logic
AU  - Lutz Schroeder
AU  - Dirk Pattinson
PY  - 2010
UR  - https://arxiv.org/abs/1001.0735
ID  - 1001.0735
ER  -