Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume03/issue08/13321/DagRep.3.8.1/DagRep.3.8.1.pdf.