@inproceedings{sgem2020s07035,
  title = {PARALLELISM IN LOGICAL INFERENCE DURING ITS AUTOMATION},
  author = {Aleksandr Shajkin and О. В. Аверина and Vladimir R. Babaev and Marina Lebedeva and Tatyana Khlynova},
  booktitle = {SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 20th International Multidisciplinary Scientific GeoConference Proceedings SGEM 2020, Informatics, Geoinformatics and Remote Sensing},
  year = {2020},
  pages = {269-274},
  publisher = {STEF92 Technology},
  doi = {10.5593/sgem2020/2.1/s07.035}
}