Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CHAP
ID - DBLP:books/mk/minker88/SadriK88
AU - Sadri, Fariba
AU - Kowalski, Robert A.
TI - A Theorem-Proving Approach to Database Integrity.
BT - Foundations of Deductive Databases and Logic Programming
SP - 313
EP - 362
PY - 1988//
PB - Morgan Kaufmann
DO - 10.1016/B978-0-934613-40-8.50013-0
UR - https://doi.org/10.1016/b978-0-934613-40-8.50013-0
ER -
