Ziliani, B., & Sozeau, M. (2014). Towards a Better-behaved Unification Algorithm for Coq. In The 6th Coq Workshop (pp. 1-2).