TITLE     : WCS: a Witness and Counterexample Server
AUTHOR(S) : Fantechi A, Meolic R, Gnesi S, Trentanni G
TYPE      : Other
YEAR      : 2011
CODE      : 207106

*** DO NOT EDIT THIS FILE ***