The following publications are possibly variants of this publication:
- Rules and Strategies for Contextual Specialization of Constraint Logic ProgramsFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. TCS, 30(2):129-144, 1999. [doi]
- Automated strategies for specializing constraint logic programsFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. LOPSTR 2001: [doi]
- Automated Strategies for Specializing Constraint Logic ProgramsFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. LOPSTR 2001: 125-146 [doi]
- Reducing Nondeterminism while Specializing Logic ProgramsAlberto Pettorossi, Maurizio Proietti, Sophie Renault. POPL 1997: 414-427 [doi]
- Derivation of Efficient Logic Programs by Specialization and Reduction of NondeterminismAlberto Pettorossi, Maurizio Proietti, Sophie Renault. lisp, 18(1-2):121-210, 2005. [doi]