TY  - RPRT
TI  - A Verified Efficient Implementation of the Weighted Path Order
AU  - René Thiemann
AU  - Elias Wenninger
PY  - 2023
UR  - https://arxiv.org/abs/2307.14671
ID  - 2307.14671
ER  -