The Method of Deductive Inference of Consequences with the Scheme Construction. - Anastasia Bardovskaya; Gennadiy Chistyakov; Maria Dolzhenkova; Dmitry Strabykin (CSOC (2), 2019)