Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms. (English) Zbl 1497.68235 Fundam. Inform. 177, No. 3-4, 297-329 (2020). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Fundam. Inform. 177, No. 3--4, 297--329 (2020; Zbl 1497.68235) Full Text: DOI arXiv
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José A constructor-based reachability logic for rewrite theories. (English) Zbl 1471.68076 Fundam. Inform. 173, No. 4, 315-382 (2020). MSC: 68N30 03B44 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{S. Skeirik} et al., Fundam. Inform. 173, No. 4, 315--382 (2020; Zbl 1471.68076) Full Text: DOI