@article{oai:tsukuba.repo.nii.ac.jp:00024487,
 author = {Sato, Yosuke and Inoue, Shutaro and Suzuki, Akira and Nabeshima, Katsusuke and 坂井, 公 and SAKAI, Ko},
 issue = {5},
 journal = {Journal of symbolic computation},
 month = {May},
 pages = {622--632},
 title = {Boolean Gröbner bases},
 volume = {46},
 year = {2011},
 yomi = {サカイ, コウ}
}