Vladimir N. Krupski, Lecture Notes in Computer Science, 8476, Computer Science - Theory and Applications, 2014, 232
Carlos Cotrini, Yuri Gurevich, Ori Lahav, Artem Melentyev, Lecture Notes in Computer Science, 7908, Advanced Information Systems Engineering, 2014, 236
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