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