The Implication Logic of (n, k)-Extremal Lattices
2017 ◽
pp. 39-55