%0 Journal Article %1 journals/ieicet/SatoKWM09 %A Sato, Haruhiko %A Kurihara, Masahito %A Winkler, Sarah %A Middeldorp, Aart %D 2009 %J IEICE Trans. Inf. Syst. %K dblp %N 2 %P 220-234 %T Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet92d.html#SatoKWM09 %V 92-D

@article{journals/ieicet/SatoKWM09, added-at = {2020-04-11T00:00:00.000+0200}, author = {Sato, Haruhiko and Kurihara, Masahito and Winkler, Sarah and Middeldorp, Aart}, biburl = {https://www.bibsonomy.org/bibtex/227dad201b985d7eee89a8ad688db2ada/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e92-d_2_220&category=D&year=2009&lang=E&abst=}, interhash = {c43e131141eefb5a85f452dd6fd2d4e9}, intrahash = {27dad201b985d7eee89a8ad688db2ada}, journal = {IEICE Trans. Inf. Syst.}, keywords = {dblp}, number = 2, pages = {220-234}, timestamp = {2020-04-14T11:49:56.000+0200}, title = {Constraint-Based Multi-Completion Procedures for Term Rewriting Systems.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet92d.html#SatoKWM09}, volume = {92-D}, year = 2009 }