AuthorsP. C. Ölveczky and O. Lysne
TitleOrder-Sorted Termination: the Unsorted Way
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1996
Conference NameProceedings 5th International Conference on Algebraic and Logic Programming
Pagination92-106
PublisherSpringer-Verlag
Place PublishedAachen (Germany)
Citation KeyND.5.LYSNE.1996.b