doi          = {10.1109/LICS.1999.782598},
 doi          = {10.1007/BF02011875},
 doi          = {10.1016/S0168-0072(00)00030-0},
 doi          = {10.2969/msjmemoirs/00201C020},
 doi          = {10.3233/FI-2012-778},
 doi          = {10.1016/0304-3975(92)90297-S},
 doi          = {10.1007/s001530000070},