Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume03/issue10/13411/DagRep.3.10.1/DagRep.3.10.1.pdf.