%0 Conference Paper %1 conf/laptec/Iwami05 %A Iwami, Munehiro %B LAPTEC %D 2005 %E Nakamatsu, Kazumi %E Abe, Jair Minoro %I IOS Press %K dblp %P 18-25 %T An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited. %U http://dblp.uni-trier.de/db/conf/laptec/laptec2005.html#Iwami05 %V 132 %@ 978-1-58603-568-6

@inproceedings{conf/laptec/Iwami05, added-at = {2012-03-13T00:00:00.000+0100}, author = {Iwami, Munehiro}, biburl = {https://www.bibsonomy.org/bibtex/267b9fe3566b07045c03dc0d9e15ef77e/dblp}, booktitle = {LAPTEC}, crossref = {conf/laptec/2005}, editor = {Nakamatsu, Kazumi and Abe, Jair Minoro}, ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1036}, interhash = {8df0f0053b6bb93045114884e427db09}, intrahash = {67b9fe3566b07045c03dc0d9e15ef77e}, isbn = {978-1-58603-568-6}, keywords = {dblp}, pages = {18-25}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2012-03-14T11:35:53.000+0100}, title = {An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited.}, url = {http://dblp.uni-trier.de/db/conf/laptec/laptec2005.html#Iwami05}, volume = 132, year = 2005 }