Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) Tsutomu Sasao,EXMIN: a simplification algorithm for exclusive-OR-sum-of-products expressions for multiple-valued input two-valued output functions,Proceedings of the Twentieth International Symposium on Multiple-Valued Logic,,IEEE Comput. Soc. Press,2002-12-04,,,128-135,https://cir.nii.ac.jp/crid/1873398392345689600,https://doi.org/10.1109/ismvl.1990.122597