Suprun, T. S., and S. Yu. Shabanov-Kushnarenko. “ISOMORPHISM OF PREDICATE MODEL COMPARATOR IDENTIFICATION”. Radio Electronics, Computer Science, Control, no. 1 (October 12, 2008). Accessed August 4, 2025. https://ric.zp.edu.ua/article/view/23594.