Ziliani, Beta Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Ziliani, B., & Sozeau, M. (2014). Towards a Better-behaved Unification Algorithm for Coq. In The 6th Coq Workshop (pp. 1-2).