dblp: Joan Antoni PastorIntegrity Constraints Checking in Deductive Databases with the Internal Events Method.

, :
Integrity Constraints Checking in Deductive Databases with the Internal Events Method. FMLDO : 139-168