Transformations of CLP modules - Etalle, Sandro; Gabbrielli, Maurizio (Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS, 1995)