TY  - RPRT
TI  - Towards Log-Linear Logics with Concrete Domains
AU  - Melisachew Wudage Chekol
AU  - Jakob Huber
AU  - Heiner Stuckenschmidt
PY  - 2015
UR  - https://arxiv.org/abs/1507.02456
ID  - 1507.02456
ER  -