Temporal Logic Programming is Complete and Expressive. - Marianne Baudinet (POPL, 1989)

Logic programming semantics: techniques and applications. - Marianne Baudinet (1989)

On the Representation of Infinite Temporal Data and Queries. - Marianne Baudinet; Marc Niézette; Pierre Wolper (PODS, 1991)

Proving Termination Properties of Prolog Programs: A Semantic Approach. - Marianne Baudinet (J. Log. Program., 1992)

Temporal Deductive Databases. - Marianne Baudinet; Jan Chomicki; Pierre Wolper (Temporal Databases, 1993)

On the Expressiveness of Temporal Logic Programming - Marianne Baudinet (Inf. Comput., 1995)

Constraint-Generating Dependencies. - Marianne Baudinet; Jan Chomicki; Pierre Wolper (J. Comput. Syst. Sci., 1999)