Reverse Chaining for Answering Temporal Logical Queries,” The (1992)

by Y Manolopoulos
Venue:Computer J