Neil D. Jones Sven Skyum A Note on the Complexity of General D0L Membership. 114-117 1981 10 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp10.html#JonesS81