Frameworks for Logically Classifying Polynomial-Time Optimisation Problems. - James Gate; Iain A. Stewart (CSR, 2010)

The expressibility of fragments of Hybrid Graph Logic on finite digraphs. - James Gate; Iain A. Stewart (J. Appl. Log., 2013)