Authors | P. C. Ölveczky and O. Lysne |
Title | Order-Sorted Termination: the Unsorted Way |
Status | Published |
Publication Type | Proceedings, refereed |
Year of Publication | 1996 |
Conference Name | Proceedings 5th International Conference on Algebraic and Logic Programming |
Pagination | 92-106 |
Publisher | Springer-Verlag |
Place Published | Aachen (Germany) |
Citation Key | ND.5.LYSNE.1996.b |