"Coherence of Subsumption."

Pierre-Louis Curien, Giorgio Ghelli (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics