Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume04/issue07/14281/DagRep.4.7.1/DagRep.4.7.1.pdf.