@article{BSL43_3-4_Manzano_Martins_Huertas,
author = {Mar{\'\i}a MANZANO and Manuel A. MARTINS and Antonia HUERTAS},
title = {A Semantics for Equational Hybrid Propositional Type Theory},
journal = {Bulletin of the Section of Logic},
volume = {43},
number = {3--4},
year = {2014},
pages = {121--138}
}