Suprun, T. S.; Shabanov-Kushnarenko, S. Y. ISOMORPHISM OF PREDICATE MODEL COMPARATOR IDENTIFICATION. RIC 2008.