Title: Reasoning with extended Venn-Pierce diagrammatic systems
First published: 2001