Order-Sorted Termination: the Unsorted Way
- Authors
- P. C. Ölveczky and O. Lysne
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1996
- Journal
- Proceedings 5th International Conference on Algebraic and Logic Programming
- Publisher
- Springer-Verlag
- Citation key
- 10000