Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume06/issue04/16161/DagRep.6.4.80/DagRep.6.4.80.pdf.