Variant-based decidable satisfiability in initial algebras with predicates
scientific article; zbMATH DE number 6932837