TY  - CONF
AU  - Fabian Neuhaus
C2  - Interontology 2010, Tokyo, -1
DA  - 2010-01-20
LA  - en
PB  - Interontology 2010, Tokyo, -1
PY  - 2010
TI  - The Semantics of Modules in Common Logic
ER  -