Return to Article Details Semantics, Modularity, and Rewriting Logic Download Download PDF