阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 逻辑程序派生的列表引入策略。 （英语） Zbl 1001.68020号 正式Asp。计算。 13，编号3-5，233-251（2002）. 引用于2文件 MSC公司： 68N17号 逻辑编程 关键词：自动编程;逻辑程序设计;程序推导;程序转换;转型规则与策略 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{M.Proietti}，正式Asp。计算。13、编号3--5、233--251（2002；Zbl 1001.68020） 全文： 内政部