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