TY  - RPRT
TI  - Conjugate Logic
AU  - Niklas Johansson
AU  - Felix Huber
AU  - Jan-Åke Larsson
PY  - 2021
DO  - 10.1007/978-3-031-12986-5_7
UR  - https://arxiv.org/abs/2102.06572
ID  - 2102.06572
ER  -