doi          = {10.1007/3-540-10856-4\unhbox\voidb@x \vbox{\hrule width0.5em}83},
 doi          = {10.1007/BFb0036899},
 doi          = {10.1007/978-3-030-92124-8\unhbox\voidb@x \vbox{\hrule width0.5em}14},
 doi          = {10.1007/s00165-021-00546-3},
 doi          = {10.1016/j.tcs.2009.11.011},
 doi          = {10.1007/978-0-387-35578-8\unhbox\voidb@x \vbox{\hrule width0.5em}11},
 doi          = {10.4204/EPTCS.89.7},
 doi          = {10.4204/EPTCS.190.5},
 doi          = {10.1016/j.tcs.2009.12.012},
 doi          = {10.1007/3-540-17660-8\unhbox\voidb@x \vbox{\hrule width0.5em}53},
 doi          = {10.4204/EPTCS.300.2},