A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information derivability analysis in logical information systems
Communications of the ACM
Communications of the ACM
Logic for Problem Solving
Logic and Data Bases
An Abstract Introduction to the Temporal-Hierarchic Data Model (THM)
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Modal System of Algebras for Database Specification and Query/Update Language Support
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Temporal Framework for Database Specifications
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Specification and verification of data base semantic integrity.
Specification and verification of data base semantic integrity.
The database semantics of time
The database semantics of time
The role of time in information processing: a survey
ACM SIGMOD Record
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Stepwise specification of dynamic database behaviour
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
ACM Computing Surveys (CSUR)
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
Time modeling in office information systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
On verification of database temporal constraints
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
| Hi-index | 0.00 |