Kuper, Gabriel M.; Vardi, Moshe Y.; A new approach to database logic, Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, April 02-04, 1984, Waterloo, Ontario, Canada

Languages mentioned

• LPS {1984}