@inproceedings{Blumensath03,
  pages = {596--607},
  title = {{Axiomatising Tree-Interpretable Structures}},
  year = 2003,
  booktitle = {{Proc.\ 19th Int.\ Symp.\ on Theoretical Aspects of Computer
               Science, STACS, LNCS 2285}},
  author = {A. Blumensath},
}