A rationale for conditional equational programming

• 作者Nachum Dershowitz; Mitsuhiro Okada
• 卷第75卷
• 印刷ISSN0304-3975
• 文件大小3652.92KB
• 发表时间1990
• DOI10.1016/0304-3975(90)90064-o
• 页码111-138