LOGIC PROGRAMMING1985-09-0127 OA AI GGENESERETH, MR MMatthew L. Ginsberg DOI:10.1145/4284.4287原文链接分享收藏查看原文摘要 En