Cohen, C., et al.. Hierarchy Builder: Algebraic Hierarchies Made Easy in Coq with Elpi (system Description). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/lipics.fscd.2020.34.