References

1. doi:10.1017/S0960129510000150.
2. doi:10.1016/j.jsc.2010.09.008.
3. doi:10.1017/S0960129511000752.
4. doi:10.1007/BFb0027240.
5. doi:10.1109/LICS.2010.46.
6. doi:10.1016/0890-5401(91)90052-4.
7. doi:10.1007/3-540-45931-6_24.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org