doi          = {10.25596/jalc-2018-067},
 doi          = {10.1016/j.tcs.2014.04.016},
 doi          = {10.1016/S0019-9958(58)90082-2},
 doi          = {10.48550/arXiv.2202.13398},
 doi          = {10.1016/j.ipl.2016.01.003},
 doi          = {10.1109/T-C.1970.222994},
 doi          = {10.1090/S0002-9939-1958-0135681-9},
 doi          = {10.4230/LIPIcs.ICALP.2016.116},