U. Egly, H. Tompits: "On Different Proof-Search Strategies for Orthologic"; Studia Logica, 73 (2003), 1; 131 - 152.