On a duality between Kruskal and Dershowitz theorems
@inproceedings{MELL98, address = {Berlin, Heidelberg}, author = {Melliès, Paul-André}, booktitle = {Automata, Languages and Programming}, doi = {10.1007/BFb0055080}, editor = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn}, isbn = {978-3-540-68681-1,978-3-540-64781-2}, pages = {518--529}, publisher = {Springer Berlin Heidelberg}, sha256 = {7EF0983474C7F95148EC66BB7BABAEAFE6810C7AB568341D0E5BDF6EA0D0A24A}, title = {On a duality between Kruskal and Dershowitz theorems}, url = {https://doi.org/10.1007/BFb0055080}, year = {1998} }