TY  - RPRT
TI  - Orthologics for Cones
AU  - Mena Leemhuis
AU  - Özgür L. Özçep
AU  - Diedrich Wolter
PY  - 2020
UR  - https://arxiv.org/abs/2008.03172
ID  - 2008.03172
ER  -