On the semantics of temporal logic programming preliminary report - Baudinet, Marianne (1988)