TY  - RPRT
TI  - Relation lifting, with an application to the many-valued cover modality
AU  - Marta Bilkova
AU  - Alexander Kurz
AU  - Daniela Petrisan
AU  - Jiri Velebil
PY  - 2013
DO  - 10.2168/lmcs-9(4:8)2013
UR  - https://arxiv.org/abs/1307.4682
ID  - 1307.4682
ER  -