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