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]
Abstract is missing.