Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules.

Frdric Voisin, Michel Bidoit

Browse the full COMPASS paper archive.