Alpuente, M.; Ballis, D.; Escobar, S.; Sapiña, J. Optimization of rewrite theories by equational partial evaluation. (English) Zbl 1477.68136 J. Log. Algebr. Methods Program. 124, Article ID 100729, 29 p. (2022). MSC: 68Q42 68N19 68Q85 PDFBibTeX XMLCite \textit{M. Alpuente} et al., J. Log. Algebr. Methods Program. 124, Article ID 100729, 29 p. (2022; Zbl 1477.68136) Full Text: DOI
Lucas, Salvador Applications and extensions of context-sensitive rewriting. (English) Zbl 1518.68157 J. Log. Algebr. Methods Program. 121, Article ID 100680, 33 p. (2021). MSC: 68Q42 68N15 PDFBibTeX XMLCite \textit{S. Lucas}, J. Log. Algebr. Methods Program. 121, Article ID 100680, 33 p. (2021; Zbl 1518.68157) Full Text: DOI
Durán, Francisco; Meseguer, José; Rocha, Camilo Ground confluence of order-sorted conditional specifications modulo axioms. (English) Zbl 1498.68073 J. Log. Algebr. Methods Program. 111, Article ID 100513, 117 p. (2020). MSC: 68N30 68N18 68Q42 68Q60 PDFBibTeX XMLCite \textit{F. Durán} et al., J. Log. Algebr. Methods Program. 111, Article ID 100513, 117 p. (2020; Zbl 1498.68073) Full Text: DOI
Lucas, Salvador; Meseguer, José Dependency pairs for proving termination properties of conditional term rewriting systems. (English) Zbl 1353.68155 J. Log. Algebr. Methods Program. 86, No. 1, 236-268 (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 86, No. 1, 236--268 (2017; Zbl 1353.68155) Full Text: DOI