Author: International Symposium on Multiple-Valued Logic