Deciding the first-order theory of an algebra of feature trees with updates
scientific article; zbMATH DE number 6958115