Juha Honkala The D0L Problem Revisited. 142-155 2000 70 Bulletin of the EATCS db/journals/eatcs/eatcs70.html#Honkala00a