Order-Sorted Termination: the Unsorted Way

Order-Sorted Termination: the Unsorted Way

Authors
P. C. Ölveczky and O. Lysne