Martins M, Madeira A, Barbosa LS.? 2012.??Towards a Semantics for Infinitary Equational Hybrid Logic.  Advances in Modal Logic - AiML.