Yazdanian K: Integrity checking in deductive databases (1978)

by Nicolas JM
Venue:in H Gallaire, J Minker (eds): Logic and Databases