Media type: E-Article Title: Logic Based Program Synthesis and Transformation: Mapping Modular SOS to Rewriting Logic Contributor: de Braga, Christiano O.; Hæusler, E. Hermann; Meseguer, José; Mosses, Peter D. imprint: Springer Berlin Heidelberg, 2003 Published in: Logic Based Program Synthesis and Transformation Language: Not determined DOI: 10.1007/3-540-45013-0_21 ISSN: 0302-9743 Origination: Footnote: