| 2020 | SYNASC | On One Approach to Goal-Driven Proof Search in Classical First-Order Logic. | Alexander V. Lyaletski, Alexandre Lyaletsky |
| 2017 | ICTERI | The SAD System: a Current State and Future Work. | Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine |
| 2016 | ICTERI | Evidential Paradigm as Formal Knowledge Presentation and Processing. | Alexander V. Lyaletski, Alexandre Lyaletsky, Andrei Paskevich |
| 2015 | ICTERI | C-Clause Calculi and Refutation Search in First-Order Classical Logic. | Alexander V. Lyaletski |
| 2012 | ICTERI | Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation. | Vitaly Klimenko, Alexander V. Lyaletski |
| 2010 | AISC | Evidence Algorithm and System for Automated Deduction: A Retrospective View. | Alexander V. Lyaletski, Konstantin Verchinine |
| 2009 | SYNASC | On Herbrand-like Theorems for Cut-free Modal Sequent Logics. | Alexander V. Lyaletski |
| 2008 | AISC | On Correctness of Mathematical Texts from a Logical and Practical Point of View. | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov |
| 2008 | SYNASC | On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi. | Alexander V. Lyaletski |
| 2007 | CADE | System for Automated Deduction (SAD): A Tool for Proof Verification. | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich |
| 2006 | JELIA | On Herbrand's Theorem for Intuitionistic Logic. | Alexander V. Lyaletski, Boris Konev |
| 2006 | SYNASC | The SAD System in Three Dimensions. | Anatoly V. Anisimov, Alexander V. Lyaletski |
| 1999 | LPAR | Evidence Algorithm and Sequent Logical Inference Search. | Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets |