[IEEE 2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY 2014) - Subotica, Serbia (2014.9.11-2014.9.13)] 2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY) - Theory exploration of sets represented as monotone lists