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 April 25, 2024. http://ric.zntu.edu.ua/article/view/23594.