1 paper found with sha256 equals to 7EF0983474C7F95148EC66BB7BABAEAFE6810C7AB568341D0E5BDF6EA0D0A24A.
@inproceedings{MELL98,
address = {Berlin, Heidelberg},
author = {Melliès, Paul-André},
booktitle = {Automata, Languages and Programming},
doi = {10.1007/BFb0055085},
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/BFb0055085},
year = {1998}
}