Model correspondence as a basis for schema domination

Guy Davies, Love Ekenberg. Model correspondence as a basis for schema domination. Knowl.-Based Syst., 23(7):693-703, 2010. [doi]