@misc{dagstuhl-artifact-25483,
title = {{l2l7l9p/Polynomials-for-WFOMC}},
author = {Kuang, Qipeng},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:e82fa8e26998cfb9e25e723b2c1182f17a82276e;origin=https://github.com/l2l7l9p/Polynomials-for-WFOMC;visit=swh:1:snp:c93a1d1b89d04f98bc8bac6988a75fd140eb9ad0;anchor=swh:1:rev:e474a633cb4a55ef35e7aaf70df4d765cfbef02d}{\texttt{swh:1:dir:e82fa8e26998cfb9e25e723b2c1182f17a82276e}} (visited on 2026-02-18)},
url = {https://github.com/l2l7l9p/Polynomials-for-WFOMC},
doi = {10.4230/artifacts.25483},
}