I used it in "Revisiting Semilattice Semantics". Both of those two papers are in the OCL volume for Alasdair Urquhart. https://t.co/Esjts48WlJ
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Springer International Publishing