Helmut Veith Succinct Representation, Leaf Languages, and Projection Reductions. 207-236 1998 142 Inf. Comput. 2 db/journals/iandc/iandc142.html#Veith98