TY  - RPRT
TI  - Lattice Logic Properly Displayed
AU  - Giuseppe Greco
AU  - Alessandra Palmigiano
PY  - 2016
UR  - https://arxiv.org/abs/1612.05930
ID  - 1612.05930
ER  -