InProceedings{SS:CADE-2002,
  author = 	 {S. Schulz and G. Sutcliffe},
  title = 	 {{System Description: GrAnDe 1.0}},
  booktitle = 	 {Proc.\ of the 18th CADE, Copenhagen},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages =	 {280-284},
  year =	 {2002},
  editor =	 {A. Voronkov},
  volume =	 {2392},
  OPTnumber = 	 {},
  series =	 {LNAI},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher =	 {Springer},
  annote =       {StS},
}