Canonical Propositional Gentzen-Type Systems. - Arnon Avron; Iddo Lev (IJCAR, 2001)

Non-Deterministic Matrices. - Arnon Avron; Iddo Lev (ISMVL, 2004)

Non-deterministic Multiple-valued Structures. - Arnon Avron; Iddo Lev (J. Log. Comput., 2005)

Packed computation of exact meaning representations. - Iddo Lev (2007)