https://9lib.org/document/y96r8pxd-knowledge-bases-and-automorphic-equivalence-multi-models-versus.html