TY  - RPRT
TI  - Intuitionistic Layered Graph Logic: Semantics and Proof Theory
AU  - Simon Docherty
AU  - David Pym
PY  - 2018
DO  - 10.23638/lmcs-14(4:11)2018
UR  - https://arxiv.org/abs/1702.05795
ID  - 1702.05795
ER  -