@article{ZNSL_2021_499_a3,
     author = {T. M. Kosovskaya},
     title = {Isomorphism of predicate formulas in artificil intelligence problems},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {38--52},
     publisher = {mathdoc},
     volume = {499},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2021_499_a3/}
}