Patrizia Asirelli Michele de Santis Maurizio Martelli Integrity Constraints for Logic Databases. 221-232 1985 2 J. Log. Program. 3 db/journals/jlp/jlp2.html#AsirelliSM85