Transformation Techniques for Context-Sensitive Rewrite Systems (2004)

by Jürgen Giesl , Aart Middeldorp
Citations:36 - 4 self