Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro. A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic, Language and Information, 23(1):31-52, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.