Agent deliberation via forward and backward chaining in linear logic. - Luke Trodd; James Harland; John Thangarajah (AAMAS, 2012)

Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. - James Harland; Jan Olaf Blech; Ian Peake; Luke Trodd (ENASE, 2016)