标题：Automated Proof and Discovery of Inductive Theorems with Rewriting Induction over Multi-Context Reasoning Systems: State-of-the-Art Technologies and Perspectives
期刊名称：Lecture Notes in Engineering and Computer Science
印刷版ISSN：2078-0958
电子版ISSN：2078-0966
出版年度：2018
卷号：2237&2238
页码：149-154
出版社：Newswood and International Association of Engineers
摘要：A system for efficiently running mutually related
virtual processes as a single process is called a multi-context
reasoning system. We focus on its application to automated
proof and discovery of inductive theorems in the framework of
rewriting induction and briefly survey past and current
state-of-the-art technologies of such systems. Then to deal with
lemma discovery in this framework, we present an extension of
MRIt, the multi-context rewriting induction system with
termination tools developed by Sato and Kurihara, and discuss
its effectiveness.
