Kanamori, T., & Kawamura, T. Preservation of stronger equivalence in unfold fold logic program transformation.
Chicago Style (17th ed.) CitationKanamori, Tadashi, and Tadashi Kawamura. Preservation of Stronger Equivalence in Unfold Fold Logic Program Transformation. Tokyo, Japan.
MLA (9th ed.) CitationKanamori, Tadashi, and Tadashi Kawamura. Preservation of Stronger Equivalence in Unfold Fold Logic Program Transformation.
Warning: These citations may not always be 100% accurate.