doi          = {10.1201/9781584889007},
 doi          = {10.1002/malq.19900360405},
 doi          = {10.2168/lmcs-11(1:3)},
 doi          = {10.1007/3-540-60164-3\_27},
 doi          = {10.1093/logcom/2.3.297},
 doi          = {10.1007/3-540-56992-8\_6},
 doi          = {10.1109/lics.1991.151645},
 doi          = {10.1007/s40062-015-0121-z},
 doi          = {10.1016/j.jalgebra.2018.02.039},
 doi          = {10.1007/978-3-642-99902-4\_22},
 doi          = {10.1145/1863597.1863601},
 doi          = {10.1016/0021-8693(64)90018-3},
 doi          = {10.1016/0022-4049(71)90013-2},
 doi          = {10.1016/0022-4049(71)90019-3},
 doi          = {10.1007/bf01703261},
 doi          = {10.1007/bfb0079385},
 doi          = {10.1007/bfb0073965},
 doi          = {10.1090/pspum/017},
 doi          = {10.1090/s0002-9947-1977-0444740-9},
 doi          = {10.1112/plms/s3-31.3.289},
 doi          = {10.1305/ndjfl/1093957574},
 doi          = {10.1007/bf01404107},
 doi          = {10.1016/j.jpaa.2012.09.020},
 doi          = {10.1305/ndjfl/1093891297},
 doi          = {10.1016/j.aim.2012.06.027},
 doi          = {10.1016/0168-0072(93)e0078-3},
 doi          = {10.1016/j.entcs.2018.11.017},
 doi          = {10.1016/j.entcs.2020.09.012},
 doi          = {10.1007/978-3-540-24849-1\_23},
 doi          = {10.1145/3209108.3209121},
 doi          = {10.23638/lmcs-15(1:9)2019},
 doi          = {10.1016/0003-4843(74)90010-2},