PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Glue-Nail: a deductive database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Differential logic programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Solving SQL Constraints by Incremental Translation to SAT
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
A SQL database system for solving constraints
Proceedings of the 2nd PhD workshop on Information and knowledge management
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract)
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Hi-index | 0.01 |