A Control Shared Processor MELPIP-1: Design Evaluation. - Akira Fusaoka; Masaharu Hirayama; Tadashi Kanamori (ACM Pacific, 1980)

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

Formulation of Induction Formulas in Verification of Prolog Programs. - Tadashi Kanamori; Hiroshi Fujita (CADE, 1986)

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

Verification of Prolog Programs Using an Extension of Execution. - Tadashi Kanamori; Hirohisa Seki (ICLP, 1986)

On Parallel Programming Methodology in GHC. - Kazuko Takahashi; Tadashi Kanamori (LP, 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)

Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation. - Tadashi Kawamura; Tadashi Kanamori (FGCS, 1988)

Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation. - Tadashi Kawamura; Tadashi Kanamori (Theor. Comput. Sci., 1990)

Top-down Zooming Diagnosis of Logic Programs. - Machi Ueno; Tadashi Kanamori (Software Science and Engineering, 1991)

Abstract Interpretation Based on Alexander Templates. - Tadashi Kanamori (J. Log. Program., 1993)

Abstract Interpretation based on OLDT Resolution. - Tadashi Kanamori; Tadashi Kawamura (J. Log. Program., 1993)