Proceedings of the twentieth International Symposium on Multiple-Valued Logic May 23 - 25, 1990, Charlotte, North Carolina, USA (IEEE Computer Soc. Press, 1990)
Literaturangaben