%0 Journal Article %1 journals/ieicet/SatoK10 %A Sato, Haruhiko %A Kurihara, Masahito %D 2010 %J IEICE Trans. Inf. Syst. %K dblp %N 5 %P 942-952 %T Multi-Context Rewriting Induction with Termination Checkers. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet93d.html#SatoK10 %V 93-D

@article{journals/ieicet/SatoK10, added-at = {2020-04-11T00:00:00.000+0200}, author = {Sato, Haruhiko and Kurihara, Masahito}, biburl = {https://www.bibsonomy.org/bibtex/2d4019993753b946815f8d3abe6b74672/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e93-d_5_942}, interhash = {1586468ca1c6c9f05a225edf6f2cf289}, intrahash = {d4019993753b946815f8d3abe6b74672}, journal = {IEICE Trans. Inf. Syst.}, keywords = {dblp}, number = 5, pages = {942-952}, timestamp = {2020-04-14T11:46:42.000+0200}, title = {Multi-Context Rewriting Induction with Termination Checkers.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet93d.html#SatoK10}, volume = {93-D}, year = 2010 }