A Transformation System for Modular CLP Programs.

Sandro Etalle, Maurizio Gabbrielli

Browse the full ICLP paper archive.