Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume03/issue06/13252/DagRep.3.6.83/DagRep.3.6.83.pdf.