| 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 |
By thinking constantly about it…