TY  - RPRT
TI  - Transformation Rules for Locally Stratified Constraint Logic Programs
AU  - Fabio Fioravanti
AU  - Alberto Pettorossi
AU  - Maurizio Proietti
PY  - 2004
UR  - https://arxiv.org/abs/cs/0402048
ID  - cs/0402048
ER  -