@ARTICLE{Waldmann1998IPL,
AUTHOR = {Waldmann, Uwe},
TITLE = {Extending reduction orderings to {ACU}-compatible reduction orderings},
JOURNAL = {Information Processing Letters},
PUBLISHER = {Elsevier},
YEAR = {1998},
NUMBER = {1},
VOLUME = {67},
PAGES = {43--49},
ADDRESS = {Amsterdam, the Netherlands},
MONTH = {July},
ISBN = {0020-0190},
}
Entry last modified by Christine Kiesel, 03/12/2010