Sara Negri Jan von Plato Proof systems for lattice theory. 507-526 2004 14 Mathematical Structures in Computer Science 4 http://dx.doi.org/10.1017/S0960129504004244 db/journals/mscs/mscs14.html#NegriP04