Fridman, A., Kulik, B. and Kurbanov, V. 2015. Course Indicators for Forward Logical Inference upon List Variables. Information and Control Systems. 1 (Feb. 2015), 29-34. DOI:https://doi.org/10.15217/issn1684-8853.2015.1.29.