Intuitionistic layered graph logic

Docherty, S; Pym, D; (2016) Intuitionistic layered graph logic. In: Olivetti, N and Tiwari, A, (eds.) Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Proceedings. (pp. pp. 469-486). Springer International Publishing: Coimbra, Portugal. Green open access

http://ift.tt/2stRHCL