Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume07/issue10/17431/DagRep.7.10.84/DagRep.7.10.84.pdf.