#### 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: | 221 - 11 self |