Colin Stirling Deciding DPDA Equivalence Is Primitive Recursive. 821-832 2002 conf/icalp/2002 ICALP http://link.springer.de/link/service/series/0558/bibs/2380/23800821.htm db/conf/icalp/icalp2002.html#Stirling02