References

  1. doi:10.1016/S1570-2464(07)80015-2.
  2. doi:10.1007/11944836_26.
  3. doi:10.1016/j.jlap.2008.02.0005.
  4. doi:10.1016/0304-3975(82)90125-6.
  5. doi:10.1007/BF00370554.
  6. doi:10.1109/LICS.2001.932511.
  7. doi:10.1007/978-3-642-02716-1_17.
  8. doi:10.1016/0304-3975(95)00136-0.
  9. doi:10.1145/268946.268950.
  10. doi:10.1016/0304-3975(90)90110-4.
  11. doi:10.1016/0890-5401(89)90031-X.
  12. doi:10.1007/s11225-008-9133-6.
  13. doi:10.1007/BFb0055090.
  14. doi:10.1006/inco.1999.2836.

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