arXiv 2004-02-20 EN Transformation Rules for Locally Stratified Constraint Logic Programs Fioravanti, Fabio · Pettorossi, Alberto · Proietti, Maurizio
arXiv 2003-11-27 EN Combining Logic Programs and Monadic Second Order Logics by Program Transformation Fioravanti, F. · Pettorossi, A. · Proietti, M.
arXiv 2003-11-27 EN Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism Pettorossi, Alberto · Proietti, Maurizio · Renault, Sophie
arXiv 2003-07-09 EN Transformations of Logic Programs with Goals as Arguments Pettorossi, Alberto · Proietti, Maurizio
