Regular corecursion in Prolog

• 期刊名称Computer Languages, Systems & Structures
• 作者Ancona, Davide
• 卷第39卷
• 期第4期
• 印刷ISSN1477-8424
• 文件大小4063.45KB
• 发表时间2013-12
• DOI10.1016/j.cl.2013.05.001
• 页码142-162