Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume04/issue12/14512/DagRep.4.12.68/DagRep.4.12.68.pdf.