[1] Patrick Loiseleur and S. Boutin. The Coq Proof Assistant, Addendum to the Reference Manual, Version 6.2, chapter 19: The Ring tactic. 1998. [ bib | ftp ]