43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6067-8