A Verified Efficient Implementation of the Weighted Path Order by René Thiemann and Elias Wenninger Jun 01