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 November 30, 2024. https://ric.zp.edu.ua/article/view/23594.