2000年 Fully consistent extensions of partially defined Boolean functions with missing bits(共著) 出版者・発行元 IFIP TCS2000, LNCS 1872