TITLE : Improving integrity constraint checking in deductive databases AUTHOR(S) : Asirelli P, Inverardi P, Mustaro A TYPE : Conference article YEAR : 1988 CODE : 419380 *** DO NOT EDIT THIS FILE ***