Temporal logic programming is complete and expressive - Baudinet, Marianne (1988)