Boros, Endre, Ibaraki, Toshihide and Makino, Kazuhisa. 1999. “Logical Analysis of Binary Data with Missing Bits.”Artificial Intelligence 107(2): 219–263.
Eiter, Thomas, Ibaraki, Toshihide and Makino, Kazuhisa. 1999. “Computing Intersections of Horn Theories for Reasoning with Models.”Artificial Intelligence 110(1): 57–101.
Ibaraki, Toshihide, Kogan, Alexander and Makino, Kazuhisa. 1999. “Functional Dependencies in Horn Theories.”Artificial Intelligence 108(1–2): 1–30.
Ibaraki, Toshihide, Kogan, Alexander and Makino, Kazuhisa. 2001. “On Functional Dependencies in Q-Horn Theories.”Artificial Intelligence 131(1–2): 171–187.