TY  - RPRT
TI  - Asymmetric combination of logics is functorial: A survey
AU  - Renato Neves
AU  - Alexandre Madeira
AU  - Luis S. Barbosa
AU  - Manuel A. Martins
PY  - 2017
UR  - https://arxiv.org/abs/1611.04170
ID  - 1611.04170
ER  -