TITLE     : SRP-IC: a selective refutation procedure for integrity constraints checking
AUTHOR(S) : Asirelli P, Inverardi P
TYPE      : Conference article
YEAR      : 1994
CODE      : 409283

*** DO NOT EDIT THIS FILE ***