Müjdat Pakkan Varol Akman HYPERSOLVER: A Graphical Tool for Commonsense Set Theory. 43-61 1995 85 Inf. Sci. 1-3 db/journals/isci/isci85.html#PakkanA95