@inproceedings{9c1d629cd3984b5885e69a11719631a2,
title = "New Directions for Syntactic Termination Orderings",
author = "Martin, {Ursula Hilda Mary}",
note = "Papers presented at the Symbolic Rewriting Techniques workshop, which was held in the Centro Stefano Franscini in Ascona, Switzerland, April 30 to May 4, 1995. ; Symbolic Rewriting Techniques Workshop ; Conference date: 30-04-1995 Through 04-05-1995",
year = "1998",
language = "English",
isbn = "3-7643-5901-3",
series = "Progress in Computer Science and Applied Logic",
publisher = "Birkhauser",
pages = "209--224",
editor = "M. Bronstein and J. Grabmeier and V. Weispfenning",
booktitle = "Symbolic rewriting technique",
}