Strengthening the inversion Tactic in Coq
Author: Anne Mulhern
Paper (pdf)
Suggested Bibtex Entry
Slides