Lattice Logic Properly Displayed.

Giuseppe Greco, Alessandra Palmigiano

Browse the full WoLLIC paper archive.