Gate, J., & Stewart, I. (2013). The expressibility of fragments of Hybrid Graph Logic on finite digraphs. Journal of Applied Logic, 11(3), 272-288. https://doi.org/10.1016/j.jal.2013.05.002