Fridman, A., B. Kulik, and V. Kurbanov. “Course Indicators for Forward Logical Inference Upon List Variables”. Information and Control Systems, no. 1, Feb. 2015, pp. 29-34, DOI:10.15217/issn1684-8853.2015.1.29.