@INPROCEEDINGS{mp07,
  author = {A. Montanari and G. Puppis},
  title = {A Contraction Method to Decide {M}{S}{O} Theories of Deterministic Trees},
  booktitle = {Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS)},
  year = {2007},
  pages = {141-150},
  publisher = {IEEE Computer Society}
}