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). Green open access