1. Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XMLcentric general-purpose language. In: Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming, Uppsala, Sweden, pp. 51–63. ACM Press, Uppsala (2003)
2. Boley, H.: Relationships between logic programming and XML. In: Proc. 14th Workshop Logische Programmierung (2000)
3. LNCS;F. Bry,2002
4. Bry, F., Schaffert, S.: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In: International Conference on Logic Programming (ICLP), LNCS, vol. 2401 (2002)
5. Buchberger, B., Dupre, C., Jebelean, T., Konev, B., Kriftner, F., Kutsia, T., Nakagawa, K., Piroi, F., Vasaru, D., Windsteiger, W.: The Theorema System: Proving, Solving, and Computing for the Working Mathematician. Technical Report 00-38, Research Institute for Symbolic Computation, Johannes Kepler University, Linz (2000)