HYPERSOLVER: A Graphical Tool for Commonsense Set Theory (1993)

by V Akman, M Pakkan
Venue:Proceedings of Eight International Symposium on Computer and Information Sciences