Hacene Sebih, Kamel Barkaoui. A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 3. pages 1255-1263, CSREA Press, 2005.
Abstract is missing.