Litak, T. and Helmer, Sven (2009) On the termination problem for declarative xml message processing. In: Bhowmick, S.S. and Küng, J. and Wagner, R. (eds.) Database and Expert Systems Applications. Berlin, Germany: Springer Verlag, pp. 83-97. ISBN 9783642035739.