Using Temporal Logic and Datalog to Query Database

Navco Piping Datalog National Valve Mfg .Co. 11th Edition 1984 SC Spiral Bound

SQL Cookbook : Query Solutions and Techniques for Database Develo

Temporal Logic: Mathematical Foundations and Computational Aspect

Temporal Logic

Executing Temporal Logic Programs By B.C Moszkowski

Managing Time in Relational Databases: How to Design, Update and Query Tempo...

Datalog and Logic Databases (Synthesis Lectures on Data Management, 41), Greco,