Arfst Nickelsen On Polynomially D-Verbose Sets. 307-318 1997 conf/stacs/1997 STACS db/conf/stacs/stacs97.html#Nickelsen97 https://doi.org/10.1007/BFb0023468