782 followers RiuNet @RiuNetUPV Variant-Based Decidable Satisfiability in Initial Algebras with Predicates https://t.co/SgV1NlDAyA 02 Aug 2019 Reply Repost Favourite