Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume05/issue10/15431/DagRep.5.10.50/DagRep.5.10.50.pdf.