Joan Antoni Pastor: The Internal Events Method for Integrity Constraints Enforcement in Deductive Databases. DAISD 1990: 111-140