T. S. Suprun and S. Y. Shabanov-Kushnarenko, “ISOMORPHISM OF PREDICATE MODEL COMPARATOR IDENTIFICATION”, RIC, no. 1, Oct. 2008.