Jim Burton, Gem Stapleton, John Howse. Completeness Proof Strategies for Euler Diagram Logics. In Peter Chapman, Luana Micallef, editors, Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, July 2, 2012. Volume 854 of CEUR Workshop Proceedings, pages 2-16, CEUR-WS.org, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.