Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume03/issue04/13171/DagRep.3.4.114/DagRep.3.4.114.pdf.