On the Knuth-Bendix Completion for Concurrent Processes

@article{Diekert1989OnTK,
  title={On the Knuth-Bendix Completion for Concurrent Processes},
  author={Volker Diekert},
  journal={Theor. Comput. Sci.},
  year={1989},
  volume={66},
  pages={117-136}
}
BETA