Fundamental theorems of extensional untyped lambda-calculus revisited. - Alexandre Lyaletsky (Comput. Sci. J. Moldova, 2015)

Evidential Paradigm as Formal Knowledge Presentation and Processing. - Alexander V. Lyaletski; Alexandre Lyaletsky; Andrei Paskevich (ICTERI, 2016)

The SAD System: a Current State and Future Work. - Alexander V. Lyaletski; Alexandre Lyaletsky; Konstantin Verchinine (ICTERI, 2017)

Evidence Algorithm Approach to Automated Theorem Proving and SAD Systems. - Alexander V. Lyaletski; Alexandre Lyaletsky (IT&I, 2020)

On One Approach to Goal-Driven Proof Search in Classical First-Order Logic. - Alexander V. Lyaletski; Alexandre Lyaletsky (SYNASC, 2020)