doi          = {10.1007/978-3-319-42282-4},
 doi          = {10.1007/s00153-019-00684-9},
 doi          = {10.2307/2271957},
 doi          = {10.1145/3290335},
 doi          = {10.1109/LICS.2011.48},
 doi          = {10.1016/j.ic.2006.10.010},
 doi          = {10.1017/CBO9781139084673},