1. Inoue S. (2009). On the Computation of Comprehensive Boolean Gröbner Bases. Submitted for publication. Inoue S. (2009). On the Computation of Comprehensive Boolean Gröbner Bases. Submitted for publication.
2. Noro M. et al. (2009). A Computer Algebra System Risa/Asir. http://www.math.kobe-u.ac.jp/Asir/asir.html Noro M. et al. (2009). A Computer Algebra System Risa/Asir. http://www.math.kobe-u.ac.jp/Asir/asir.html
3. Sakai K. and Sato Y. (1988). Boolean Gröbner bases. ICOT Technical Momorandum 488. http://www.icot.or.jp/ARCHIVE/Museum/TRTM/tm-list-E.html Sakai K. and Sato Y. (1988). Boolean Gröbner bases. ICOT Technical Momorandum 488. http://www.icot.or.jp/ARCHIVE/Museum/TRTM/tm-list-E.html
4. Sato Y. et al.(1996). Set Constrains Solvers(Prolog version). http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/funding-96-E.html Sato Y. et al.(1996). Set Constrains Solvers(Prolog version). http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/funding-96-E.html
5. Sato Y. et al.(1998). Set Constrains Solvers(Klic version). http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/funding-98-E.html Sato Y. et al.(1998). Set Constrains Solvers(Klic version). http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/funding-98-E.html