Schmid, T;
Rot, J;
Silva, A;
(2021)
On Star Expressions and Completeness Theorems.
In:
Proceedings: 37th Conference on Mathematical Foundations of Programming Semantics.
(pp. pp. 242-259).