@TechReport{,
  author = 	 {Fr{\'e}d{\'e}ric Chyzak},
  title = 	 {Holonomic Systems and Automatic Proofs of Identities},
  institution =  {Institut National de Recherche en Informatique et en
		  Automatique},
  year = 	 1994,
  month = 	 oct,
  type =	 {Research Report},
  number =	 2371
}