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