Implementing the Synthesis of Properties in Unfold/Fold Transformations
暂无分享，去创建一个
[1] Khaled Bsaïes,et al. Spes: A System for Logic Program Transformation , 1992, LPAR.
[2] Hisao Tamaki,et al. Unfold/Fold Transformation of Logic Programs , 1984, ICLP.