%0 Journal Article %1 journals/ieicet/JiKS19 %A Ji, Chengcheng %A Kurihara, Masahito %A Sato, Haruhiko %D 2019 %J IEICE Trans. Inf. Syst. %K dblp %N 2 %P 223-238 %T Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet102d.html#JiKS19 %V 102-D

@article{journals/ieicet/JiKS19, added-at = {2021-01-18T00:00:00.000+0100}, author = {Ji, Chengcheng and Kurihara, Masahito and Sato, Haruhiko}, biburl = {https://www.bibsonomy.org/bibtex/21a55b7e251225259065ec9148d9d8e72/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e102-d_2_223}, interhash = {cb5fb4f911416d7fc7e9a198a359df10}, intrahash = {1a55b7e251225259065ec9148d9d8e72}, journal = {IEICE Trans. Inf. Syst.}, keywords = {dblp}, number = 2, pages = {223-238}, timestamp = {2024-04-08T15:48:38.000+0200}, title = {Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet102d.html#JiKS19}, volume = {102-D}, year = 2019 }