Neves R, Madeira A, Martins MA, Barbosa LS.? 2016.??Proof theory for hybrid(ised) logics. Sci. Comput. Program.. 126:73?93.