1. Burstall, R.M., Darlington, J.: A Transformation System for Developing Recursive Programs. J. ACM 24(1), 44–67 (1977)
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)
3. Colmerauer, A.: Prolog and Infinite Trees. In: Logic Programming, pp. 231–251. Academic Press (1982)
4. Colmerauer, A.: Equations and Inequations in Finite and Infinite Trees. In: Proc. FGCS 1984, Tokyo, pp. 85–99 (1984)
5. Etalle, S., Gabbrielli, M.: Transformations of CLP Modules. Theor. Comput. Sci., 101–146 (1996)