Research supported by VEGA grant 2, p.15 ,
Interactive Particle Systems, Partial Orders: Results and Open Problems ,
António Machiavelo, Nelma Moreira, and Rogério Reis Unrestricted State Complexity of Binary Operations on Regular Languages, p.60 ,
Aayush Rajasekaran, and Marek Szyku?a MSO-definable Properties of Muller Context-Free Languages Are ,
Subramanian Descriptional Complexity of Graph-Controlled Insertion-Deletion Systems, p.111 ,
DOI : 10.1007/978-3-319-41114-9_9
and Luca Prigioniero Unary Self-verifying Symmetric Difference, p.180 ,