"Implementing Euler/Venn Reasoning Systems."

Nik Swoboda (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics