Variant-Based Decidable Satisfiability in Initial Algebras with Predicates | Publicación