A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. - Hacene Sebih; Kamel Barkaoui (PDPTA, 2005)