by Ramírez, Sergio, Romero, Miguel, Rocha, Camilo, Valencia, Frank
Published in Rewriting Logic and Its Applications (2018)

by Johnsen, Einar Broch, Owe, Olaf, Torjusen, Arild B.
Published in Fundamenta informaticae (01.01.2008)

by Johnsen, Einar Broch, Owe, Olaf, Torjusen, Arild B.
Published in Electronic notes in theoretical computer science (24.05.2006)

by Meseguer, José
Published in Rewriting Logic and Its Applications (2010)

by Gabmeyer, Sebastian, Kaufmann, Petra, Seidl, Martina, Gogolla, Martin, Kappel, Gerti
Published in Software and systems modeling (01.02.2019)

by Tratt, Laurence, Gogolla, Martin
Year of Publication 2010

by Bournez, Olivier, Garnier, Florent
Published in Lecture notes in computer science (2005)

by Bruni, Roberto
Published in Electronic notes in theoretical computer science (1998)

by Johnsen, Einar Broch, Yu, Ingrid Chieh
Published in The journal of logic and algebraic programming (01.09.2008)

by Talcott, Carolyn L.
Published in Electronic notes in theoretical computer science (27.06.2007)

by Honsell, Furio, Lenisa, Marina, Liquori, Luigi
Published in Electronic notes in theoretical computer science (01.04.2007)