by van Oostrom, Vincent
Published in Rewriting Techniques and Applications

by Fuhs, Carsten, Giesl, Jürgen, Middeldorp, Aart, Schneider-Kamp, Peter, Thiemann, René, Zankl, Harald
Published in Rewriting Techniques and Applications

by Koprowski, Adam, Waldmann, Johannes
Published in Rewriting Techniques and Applications

by Falke, Stephan, Kapur, Deepak
Published in Rewriting Techniques and Applications

by Sternagel, Christian, Middeldorp, Aart
Published in Rewriting Techniques and Applications

by Zantema, Hans
Published in Rewriting Techniques and Applications

by Escobar, Santiago, Meseguer, José, Sasse, Ralf
Published in Rewriting Techniques and Applications

by Ueda, Kazunori
Published in Rewriting Techniques and Applications

by Urban, Christian, Zhu, Bozhi
Published in Rewriting Techniques and Applications

by Ketema, Jeroen
Published in Rewriting Techniques and Applications

by Schmidt-Schauss, Manfred, Machkasova, Elena
Published in Rewriting Techniques and Applications

by Gutiérrez, Raúl, Lucas, Salvador, Urbain, Xavier
Published in Rewriting Techniques and Applications

by Arrighi, Pablo, Dowek, Gilles
Published in Rewriting Techniques and Applications

by Jacquemard, Florent, Rusinowitch, Michael
Published in Rewriting Techniques and Applications

by Mazanek, Steffen, Minas, Mark
Published in Rewriting Techniques and Applications

by Stratulat, Sorin
Published in Rewriting Techniques and Applications

by Lafont, Yves, Rannou, Pierre
Published in Rewriting Techniques and Applications

by Toyama, Yoshihito
Published in Rewriting Techniques and Applications

by Kuhlmann, Marco, Niehren, Joachim
Published in Rewriting Techniques and Applications (2008)

by Kobayashi, Naoki, Ohsaki, Hitoshi
Published in Rewriting Techniques and Applications