Docherty, Pym, 2018. Intuitionistic Layered Graph Logic: Semantics and Proof Theory.