Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume06/issue05/16221/DagRep.6.5.94/DagRep.6.5.94.pdf.