Variant Satisfiability in Initial Algebras with Predicates
Raúl Gutiérrez, José Meseguer · 2018
Partially supported by NSF Grant CNS 14-09416, NRL under contract number N00173-17-1-G002, the EU (FEDER), Spanish MINECO project TIN2015-69175-C4-1-R and GV project PROMETEOII/2015/013. Raul Gutierrez was also supported by INCIBE program ``Ayudas para la excelencia de los equipos de investigacion avanzada en ciberseguridad''