Composite Distributive Lattices as Annotation Domains for Mediators. - Jacques Calmet; Peter Kullmann; Morio Taneda (Ann. Math. Artif. Intell., 2002)