| Authors | O. Lysne and J. Piris |
| Title | A Termination Ordering for Higher Order Rewrite Systems |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 1995 |
| Conference Name | Proceedings 6th International Conference on Rewriting Techniques and Applications |
| Pagination | 26-40 |
| Publisher | Springer-Verlag |
| Place Published | Kaiserslautern (Germany) |
| Citation Key | ND.5.LYSNE.1995 |
By thinking constantly about it…