System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities. - Alexander V. Lyaletski; Konstantin Verchinine; Anatoli Degtyarev; Andrey Paskevich (Intelligent Information Systems, 2002)

Evidential Paradigm and Intelligent Mathematical Text Processing. - Alexander V. Lyaletski; Anatoly E. Doroshenko; Andrey Paskevich; Konstantin Verchinine (ISTA, 2004)

Theorem Proving and Proof Verification in the System SAD. - Alexander V. Lyaletski; Andrey Paskevich; Konstantin Verchinine (MKM, 2004)

SAD as a mathematical assistant - how should we go from here to there? - Alexander V. Lyaletski; Andrey Paskevich; Konstantin Verchinine (J. Appl. Log., 2006)

System for Automated Deduction (SAD): A Tool for Proof Verification. - Konstantin Verchinine; Alexander V. Lyaletski; Andrey Paskevich (CADE, 2007)

On Correctness of Mathematical Texts from a Logical and Practical Point of View. - Konstantin Verchinine; Alexander V. Lyaletski; Andrey Paskevich; Anatoly V. Anisimov (AISC/MKM/Calculemus, 2008)

Evidence Algorithm and System for Automated Deduction: A Retrospective View. - Alexander V. Lyaletski; Konstantin Verchinine (AISC/MKM/Calculemus, 2010)

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