TY  - RPRT
TI  - Knuth-Bendix Completion Algorithm and Shuffle Algebras For Compiling NISQ Circuits
AU  - Raouf Dridi
AU  - Hedayat Alghassi
AU  - Sridhar Tayur
PY  - 2019
UR  - https://arxiv.org/abs/1905.00129
ID  - 1905.00129
ER  -