Variant-Based Decidable Satisfiability in Initial Algebras with Predicates.

Ral Gutirrez, Jos Meseguer

Browse the full LOPSTR paper archive.