Thanks to everybody that contributed to the survey. The paper got accepted at TOOLS 2010. For now just the abstract is accessible, I will update the link as soon as the PDF is published and available online: http://scg.unibe.ch/scgbib?query=Reng10b&display=abstract&hideControls=true Lukas -- Lukas Renggli http://www.lukas-renggli.ch