Dusan Guller Procedural Semantics for Fuzzy Disjunctive Programs. 247-261 2002 conf/lpar/2002 LPAR http://link.springer.de/link/service/series/0558/bibs/2514/25140247.htm db/conf/lpar/lpar2002.html#Gulle02