TITLE     : Integrity constraints, redundancy and consistency in logic Data Bases
AUTHOR(S) : Asirelli P, Martelli M
TYPE      : Other
YEAR      : 1984
CODE      : 420765

*** DO NOT EDIT THIS FILE ***