Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume08/issue02/18061/DagRep.8.2.1/DagRep.8.2.1.pdf.