Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Lucas, Salvador
2021.
Derivational Complexity and Context-Sensitive Rewriting.
Journal of Automated Reasoning,
Vol. 65,
Issue. 8,
p.
1191.