#### DMCA

## PROVING TERMINATION WITH MULTISET ORDERINGS

### Cached

### Download Links

- [www.math.tau.ac.il]
- [www.cs.tau.ac.il]
- [www.cs.tau.ac.il]
- DBLP

### Other Repositories/Bibliography

by
Nachum Dershowitz
,
Zohar Manna

Citations: | 223 - 12 self |