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)

Derivation of Efficient Logic Programs by Synthesizing New Predicates. - Tadashi Kawamura (ISLP, 1991)

Logic Program Synthesis from First Order Logic Specifications. - Tadashi Kawamura (FGCS, 1992)

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