Working area: Symbolic Computation Techniques for Unranked Terms (SToUT project)
Address: Research Institute for Symbolic Computation Johannes Kepler University Altenberger Straße 69 A-4040 Linz, Austria