Finite-state unification automata and relational languages
scientific article; zbMATH DE number 708748