10.4230/LIPIcs.STACS.2013.i copy citation link
DOI (10.4230/LIPIcs.STACS.2013.i)
https://doi.org/10.4230/LIPIcs.STACS.2013.i
Use and reproduction: