References

  1. doi:10.1016/j.tcs.2006.05.036.
  2. doi:10.1016/0167-2789(84)90249-5.
  3. doi:10.1007/3-540-45833-6_19.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org