IJsbrand Jan Aalbersberg Hendrik Jan Hoogeboom Characterizations of the Decidability of Some Problems for Regular Trace Languages. 1-19 1989 22 Mathematical Systems Theory 1 db/journals/mst/mst22.html#AalbersbergH89