Composite Distributive Lattices as Annotation Domains for Mediators.

Jacques Calmet, Peter Kullmann, Morio Taneda

Browse the full AISC paper archive.