AC-KBO revisited TPLP 16(2):163-188 Cambridge University Press 2016 Invited, special issue for FLOPS 2014. Also available as CoRR abs/1403.0406 (errata)...
Term orderings for non-reachability of (conditional) rewriting IJCAR 2022 LNAI 13385 pp. 248-267 2022...
Multi-dimensional interpretations for termination of term rewriting CADE-28 LNAI 12699 pp. 273-290 2021