Konstantin Skodinis Egon Wanke Emptiness Problems of eNCE Graph Languages. 472-485 1995 51 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss51.html#SkodinisW95