The containment problem for unambiguous register automata and unambiguous timed automata
scientific article; zbMATH DE number 7379113
scientific article