doi          = {10.1007/978-3-319-07317-0\_3},
 doi          = {10.1007/978-3-030-72016-2\_11},
 doi          = {10.1007/978-3-030-59152-6\_14},
 doi          = {10.1145/235815.235821},
 doi          = {10.1007/BFb0029946},
 doi          = {10.1145/142675.142726},
 doi          = {10.1007/978-3-030-30942-8\_8},
 doi          = {10.1007/BF02712873},
 doi          = {10.1007/s10703-021-00373-5},
 doi          = {10.1007/978-3-642-39799-8\_36},
 doi          = {10.1007/BF02573985},
 doi          = {10.1007/978-3-540-39910-0\_9},
 doi          = {10.1007/s00453-007-9151-1},
 doi          = {10.1016/S0020-0190(03)00251-5},
 doi          = {10.1007/978-3-030-45190-5\_18},
 doi          = {10.1016/0020-0190(72)90045-2},
 doi          = {10.1007/3-540-45643-0\_7},
 doi          = {10.1016/0012-365X(91)90436-6},
 doi          = {10.1007/978-3-540-71209-1\_8},
 doi          = {10.1007/978-3-540-70545-1\_16},
 doi          = {10.6084/m9.figshare.14915841.v1},
 doi          = {10.34727/2020/isbn.978-3-85448-042-6\_31},
 doi          = {10.1006/jctb.2000.2031},
 doi          = {10.1016/0166-218X(92)90208-R},
 doi          = {10.1109/QEST.2012.14},
 doi          = {10.1016/S1571-0653(05)80061-7},
 doi          = {10.1016/0095-8956(83)90079-5},
 doi          = {10.1007/11549345\_64},
 doi          = {10.1007/BFb0028825},
 doi          = {10.1006/inco.1997.2697},
 doi          = {10.1007/978-3-642-28756-5\_21},
 doi          = {10.1016/j.tcs.2014.06.020},
 doi          = {10.1016/j.ejc.2008.11.010},