Type Inference in Prolog and Its Application. - Tadashi Kanamori; Kenji Horiuchi (IJCAI, 1985)

ARGOS/V: A System for Verification of Prolog Programs. - Tadashi Kanamori; Hiroshi Fujita; Hirohisa Seki; Kenji Horiuchi; Machi Maeji (FJCC, 1986)

Construction of Logic Programs Based on Generalized Unfold/Fold Rules. - Tadashi Kanamori; Kenji Horiuchi (ICLP, 1987)

Polymorphic Type Inference in Prolog by Abstract Interpretation. - Kenji Horiuchi; Tadashi Kanamori (LP, 1987)

Less Abstract Semantics for Abstract Interpretation of FGHC Programs. - Kenji Horiuchi (FGCS, 1992)