Lutz Priese Semi-rational Sets of DAGs. 385-396 2005 conf/dlt/2005 Developments in Language Theory http://dx.doi.org/10.1007/11505877_34 db/conf/dlt/dlt2005.html#Priese05