TY  - RPRT
TI  - Intuitionistic Euler-Venn Diagrams (extended)
AU  - Sven Linker
PY  - 2020
UR  - https://arxiv.org/abs/2002.02929
ID  - 2002.02929
ER  -