doi = {10.1126/science.7973651}, doi = {10.1142/S0129054116400165}, doi = {10.1016/j.tcs.2009.05.001}, doi = {10.1007/s11047-011-9290-9}, doi = {10.1126/science.7725098}, doi = {10.1007/s00236-021-00413-x}, doi = {10.1007/978-3-540-30550-7_23}, doi = {10.3233/FI-2010-336}, doi = {10.7546/CRABS.2020.01.04}, doi = {10.1142/S0129054112500244}, doi = {10.1007/978-3-540-77962-9_27}, doi = {10.1093/logcom/exr049}, doi = {10.1007/s11047-021-09865-z}, doi = {10.1051/ita/2021007}, doi = {10.1016/j.jcss.2011.12.009}, doi = {10.1007/978-3-030-10801-4_32}, doi = {10.1051/ita/2020002}, doi = {10.1007/s00236-019-00362-6}, doi = {10.1007/s11047-021-09869-9}, doi = {10.4204/EPTCS.252.19}, doi = {10.1007/978-3-319-92435-9_13}, doi = {10.1007/978-3-662-03563-4}, doi = {10.1007/s11047-015-9494-5}, doi = {10.1007/978-3-642-59136-5},