Gruninger, M.; Kopena, J. B. Semantic Integration through Invariants. AIMag 2005, 26, 11.