Suprun, T. S., and S. Y. Shabanov-Kushnarenko. “ISOMORPHISM OF PREDICATE MODEL COMPARATOR IDENTIFICATION”. Radio Electronics, Computer Science, Control, no. 1, Oct. 2008, https://ric.zp.edu.ua/article/view/23594.