On Reversible Cellular Automata with Finite Cell Array. - Shuichi Inokuchi; Kazumasa Honda; Hyen Yeal Lee; Tatsuro Sato; Yoshihiro Mizoguchi; Yasuo Kawahara (UC, 2005)

A Classification of Triplet Local Rules with Inverse Image Sequences. - Tatsuro Sato; Kazumasa Honda; Hyen Yeal Lee; Yasuo Kawahara (IWNC, 2007)

Formal Concepts in Dedekind Categories. - Toshikazu Ishida; Kazumasa Honda; Yasuo Kawahara (RelMiCS, 2008)

Armstrong's Inference Rules in Dedekind Categories. - Toshikazu Ishida; Kazumasa Honda; Yasuo Kawahara (RelMiCS, 2009)