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