Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol017-kivs2011/OASIcs.KiVS.2011.14/OASIcs.KiVS.2011.14.pdf.