doi          = {10.1016/s1570-2464(07)80017-6},
 doi          = {10.1007/s11225-006-9009-6},
 doi          = {10.1093/jigpal/6.4.625},
 doi          = {10.1093/jigpal/7.1.27},
 doi          = {10.1017/CBO9781107050884},
 doi          = {10.1109/LICS.2019.8785675},
 doi          = {10.1007/BF01054038},
 doi          = {10.1093/logcom/11.5.737},
 doi          = {10.23638/LMCS-13(4:28)2017},