• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
SC—PROLOG解释系统中的约束逻辑程序设计方法
林琪
计算机工程与科学 . 1997, (1): 68 -72 .