Modern Uses of Multiple-Valued Logic by Dunn, M.