Two models for the homotopy theory of ∞-operads - Hongyi Chu; Rune Haugseng; Gijs Heuts (2016)