James Burton. Generalized constraint diagrams : the classical decision problem in a diagrammatic reasoning system. PhD thesis, University of Brighton, UK, 2011. [doi]
@phdthesis{ethos-1835,
title = {Generalized constraint diagrams : the classical decision problem in a diagrammatic reasoning system},
author = {James Burton},
year = {2011},
url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.543207},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-1835},
cites = {0},
citedby = {0},
school = {University of Brighton, UK},
}