Completeness in Equational Hybrid Propositional Type Theory | Publicación