doi          = {10.1002/malq.19900360405},
 doi          = {10.2168/lmcs-11(1:3)},
 doi          = {10.1093/logcom/2.3.297},
 doi          = {10.1016/j.jpaa.2017.12.006},
 doi          = {10.1016/j.jalgebra.2018.02.039},
 doi          = {10.1017/s0305004114000498},
 doi          = {10.1007/11538363_15},
 doi          = {10.1007/978-3-642-99902-4\_22},
 doi          = {10.1006/aima.1999.1877},
 doi          = {10.1016/0021-8693(64)90018-3},
 doi          = {10.1016/j.aim.2014.03.003},
 doi          = {10.2307/2310058},
 doi          = {10.1016/0022-4049(72)90016-3},
 doi          = {10.1016/j.jpaa.2012.09.020},
 doi          = {10.1016/j.aim.2012.06.027},
 doi          = {10.4204/eptcs.153.5},
 doi          = {10.1016/j.entcs.2018.11.017},
 doi          = {10.1145/3209108.3209121},
 doi          = {10.23638/lmcs-15(1:9)2019},