Munehiro Iwami. An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited. In Kazumi Nakamatsu, Jair Minoro Abe, editors, Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005. Volume 132 of Frontiers in Artificial Intelligence and Applications, pages 18-25, IOS Press, 2005.
No references recorded for this publication.
No citations of this publication recorded.