References

1. doi:10.1109/LICS.1999.782598.
2. doi:10.1007/BF02011875.
3. doi:10.1016/S0168-0072(00)00030-0.
4. doi:10.2969/msjmemoirs/00201C020.
5. doi:10.3233/FI-2012-778.
6. doi:10.1016/0304-3975(92)90297-S.
7. doi:10.1007/s001530000070.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org