Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume05/issue09/15392/DagRep.5.9.77/DagRep.5.9.77.pdf.