Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume04/issue09/14371/DagRep.4.9.1/DagRep.4.9.1.pdf.