Redirecting to https://drops.dagstuhl.de/storage/00lipics/lipics-vol022-tqc2013/LIPIcs.TQC.2013.235/LIPIcs.TQC.2013.235.pdf.