Author:
Slinko Arkadii,Sertel Murat R.
Reference42 articles.
1. A Geometric Approach to Multiset Ordering;U Martin;Theoretical Computer Science,1989
2. Termination of Rewriting;N Dershowitz;Proc. First Internat. Conf. on Rewriting Techniques and Applications,1985