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 T. Kutsia, & C. Ringeissen (Eds.), The 28th International Workshop on Unification (pp. 74-87). Linz: Johannes Kepler University. Retrieved from http://www.risc.jku.at/publications/download/risc_5001/proceedings-UNIF2014.pdf.