@InProceedings{walukiewicz98,
  author =	 {Daria Walukiewicz},
  title =	 {A Total {AC}-Compatible Reduction Ordering on
                  Higher-Order Terms},
  booktitle =	 "24th International Colloquium on Automata, Languages
                  and Programming",
  address =	 "Aalborg, Denmark",
  organization = "EATCS",
  editor =	 "Kim G. Larsen",
  publisher =	 {Sprin\-ger-Verlag},
  series =	 {LNCS},
  volume =	 1443,
  year =	 1998,
  month =	 jul,
}