Source-to-Source Transformation for a Class of Expressive Rules.

Thom W. Frühwirth Christian Holzbaur Source-to-Source Transformation for a Class of Expressive Rules. 386-397 2003 conf/agp/2003 APPIA-GULP-PRODE db/conf/agp/agp2003.html#FruhwirthH03