TY  - RPRT
TI  - Bilattice Logic Properly Displayed
AU  - Giuseppe Greco
AU  - Fei Liang
AU  - Alessandra Palmigiano
AU  - Umberto Rivieccio
PY  - 2017
UR  - https://arxiv.org/abs/1709.02167
ID  - 1709.02167
ER  -