Merkliste 
 1 Ergebnisse 
 
1

Syntax checking either way:

Kutrib, Martin ; Meyer, Uwe
Theoretical Computer Science.  966-967 (2023)  - p. 114000 , 2023