@dblp

Specifying Deductive Databases and Integrity Constraints in Meta-logic.

. Specifications of Database Systems, Springer, (1992)

Links and resources

Tags