tree automata for reasoning in databases and artificial int published presentations and documents on DocSlides.