1. N Bonnette and R Goré. A labelled sequent system for tense logic Kt. In AI98: Proceedings of the Australian Joint Conference on Artificial Intelligence, LNAI 1502:71–82. Springer, 1998.
2. Lect Notes Comput Sci;V. Boyapati,1999
3. P Blackburn. Nominal tense logic. Notre Dame Journal of Formal Logic, 34(1):56–83, 1993.
4. P Girard. Which security policy for multiapplication smart cards. In Proceedings USENIX Workshop on Smartcard Technology, pages 21–28, Chicago, USA, 1999.
5. G Grimaud, J-L Lanet, and J-J Vandewalle. FACADE: a typed intermediate language dedicated to smart cards. Technical report, Gemplus Research, http://www.gemplus.com/smart/r_d/publications/index.html ,1999.