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