Diana Costa, Manuel A. Martins, João Marcos 0001. On Herbrand's Theorem for Hybrid Logic. FLAP, 6(2):209-228, 2019. [doi]
@article{CostaMM19-0, title = {On Herbrand's Theorem for Hybrid Logic}, author = {Diana Costa and Manuel A. Martins and João Marcos 0001}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, researchr = {https://researchr.org/publication/CostaMM19-0}, cites = {0}, citedby = {0}, journal = {FLAP}, volume = {6}, number = {2}, pages = {209-228}, }