TITLE     : Correctness and completeness of the Srp-Ic refutation procedure
AUTHOR(S) : Asirelli P, Inverardi P, Plagenza G
TYPE      : Other
YEAR      : 1995
CODE      : 408978

*** DO NOT EDIT THIS FILE ***