Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume06/issue10/16442/DagRep.6.10.154/DagRep.6.10.154.pdf.