"Spatial Congruence for Ambients Is Decidable."

Silvano Dal-Zilio (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics