Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume05/issue02/15091/DagRep.5.2.128/DagRep.5.2.128.pdf.