Simon Docherty, David J. Pym: Intuitionistic Layered Graph Logic: Semantics and Proof Theory. CoRR abs/1702.05795 (2017)