Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume10/issue02/20091/DagRep.10.2.76/DagRep.10.2.76.pdf.