@Article{ChSa98,
  author = 	 {Fr{\'e}d{\'e}ric Chyzak and Bruno Salvy},
  title = 	 {Non-commutative Elimination in {O}re Algebras Proves
		  Multivariate Holonomic Identities},
  journal = 	 {Journal of Symbolic Computation},
  year = 	 1998,
  volume =	 26,
  number =	 2,
  month =	 aug,
  pages =	 {187--227}
}