TITLE     : Views by a constraint-selective refutation procedure in logic-based databases
AUTHOR(S) : Asirelli P, Inverardi P, Plagenza G
TYPE      : Other
YEAR      : 1995
CODE      : 408778

*** DO NOT EDIT THIS FILE ***