DS-1995-07: Etalle, Sandro (1995) Transformation and Analysis of (Constraint) Logic Programs. Doctoral thesis, University of Amsterdam.