Reverse Chaining for Answering Temporal Logical Queries (Short Note)

Yannis Manolopoulos. Reverse Chaining for Answering Temporal Logical Queries (Short Note). Comput. J., 35(6):666-668, 1992.

Abstract

Abstract is missing.