@inproceedings{sgem2020s07033,
  title = {OPTIMIZATION OF THE SEQUENCE OF LOGICAL INFERENCE STEPS DURING ITS AUTOMATION},
  author = {Aleksandr Shajkin and Elena Rudakovskaya and Valeriya Osipchik and Aleksandr Egorov and Tatyana Savitskaya},
  booktitle = {SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 20th International Multidisciplinary Scientific GeoConference Proceedings SGEM 2020, Informatics, Geoinformatics and Remote Sensing},
  year = {2020},
  pages = {255-260},
  publisher = {STEF92 Technology},
  doi = {10.5593/sgem2020/2.1/s07.033}
}