@article{DBLP:journals/ieicet/KusakariSS05,
author = {Keiichirou Kusakari and
Masahiko Sakai and
Toshiki Sakabe},
title = {Primitive Inductive Theorems Bridge Implicit Induction Methods
and Inductive Theorems in Higher-Order Rewriting},
journal = {IEICE Transactions},
volume = {88-D},
number = {12},
year = {2005},
pages = {2715-2726},
ee = {http://dx.doi.org/10.1093/ietisy/e88-d.12.2715},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
