Weighted register automata and weighted logic on data words
determinizable class of register automata
scientific article; zbMATH DE number 6942947
scientific article