Implementing Euler/Venn Reasoning Systems - Nik Swoboda (Springer Ebooks, 2002)