1. F. Bueno & M. Leuschel (Eds.): LOPSTR’02 PreProceedings of the International Workshop on Logic Based Program Development and Transformation (This Workshop). Technical Report, Facultad de Informática, Universidad Politécnica de Madrid (E), September 2002.
2. Lect Notes Comput Sci;F. Fioravanti,2002
3. F. Fioravanti & A. Pettorossi & M. Proietti: Combining Logic Programs and Monadic Second Order Logic by Program Transformation. This Workshop [1], pp. 166–181.
4. J. Gallagher: SP System. http://www.cs.bris.ac.uk/~john/software.html
5. J. Gallagher & J. Peralta: Convex Hull Abstractions in Specialisation of CLP Programs. This Workshop [1], pp. 104–114.