Authors: GANZINGER H

Citation: H. Ganzinger, REWRITING TECHNIQUES AND APPLICATIONS - PREFACE, Theoretical computer science, 208(1-2), 1998, pp. 1-1

Authors: BACHMAIR L GANZINGER H LYNCH C SNYDER W

Citation: L. Bachmair et al., BASIC PARAMODULATION, Information and computation, 121(2), 1995, pp. 172-192