References

  1. doi:10.1007/3-540-44802-0_28.
  2. doi:10.1006/inco.1996.0025.
  3. doi:10.2307/2694930.
  4. doi:10.1016/S0020-0190(02)00300-9.
  5. doi:10.1007/BFb0013061.
  6. doi:10.1109/LICS.2005.48.
  7. doi:10.1007/978-3-642-12251-4_11.
  8. doi:10.1145/1805950.1805958.
  9. doi:10.1007/BFb0073967.
  10. doi:10.1137/0211062.
  11. doi:10.1017/S0956796898003141.
  12. doi:10.1007/978-3-642-21691-6_18.

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