Ori Lahav, Yoni Zohar, Lecture Notes in Computer Science, 8652, Logic, Language, Information, and Computation, 2014, 206
Ori Lahav, Arnon Avron, “A unified semantic framework for fully structural propositional sequent systems”, ACM Trans. Comput. Logic, 14:4 (2013), 1
O. Lahav, 2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 2012, 79