@article{VSPUI_2017_13_3_a2,
     author = {T. M. Kosovskaya and D. A. Petrov},
     title = {Extraction of a maximal common sub-formula of predicate formulas for the solving of some artificial intelligence problems},
     journal = {Vestnik Sankt-Peterburgskogo universiteta. Prikladna\^a matematika, informatika, processy upravleni\^a},
     pages = {250--263},
     year = {2017},
     volume = {13},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSPUI_2017_13_3_a2/}
}