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