S. Shapovalova, “GENERATION OF TEST BASES OF RULES FOR THE ANALYSIS OF PRODUCTIVITY OF LOGICAL INFERENCE ENGINE”, ITSSI, no. 3 (13), pp. 77–85, Sep. 2020.