%0 Journal Article %1 journals/corr/abs-2307-14671 %A Thiemann, René %A Wenninger, Elias %D 2023 %J CoRR %K dblp %T A Verified Efficient Implementation of the Weighted Path Order. %U http://dblp.uni-trier.de/db/journals/corr/corr2307.html#abs-2307-14671 %V abs/2307.14671

@article{journals/corr/abs-2307-14671, added-at = {2023-08-02T00:00:00.000+0200}, author = {Thiemann, René and Wenninger, Elias}, biburl = {https://www.bibsonomy.org/bibtex/2a07938a2c1e812a28a8c9b8b80c422b6/dblp}, ee = {https://doi.org/10.48550/arXiv.2307.14671}, interhash = {91d75ccb3012989ef9224b604186e959}, intrahash = {a07938a2c1e812a28a8c9b8b80c422b6}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:29:16.000+0200}, title = {A Verified Efficient Implementation of the Weighted Path Order.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2307.html#abs-2307-14671}, volume = {abs/2307.14671}, year = 2023 }