TITLE     : Correctness and completeness of the SRP_IC refutation procedure
AUTHOR(S) : Asirelli P, Inverardi P, Plagenza G
TYPE      : Other
YEAR      : 1996
CODE      : 408395

*** DO NOT EDIT THIS FILE ***