...shows
Our personal experience consists in coding the optimizer generator tool OPTIMIX [
Aßm96
] with the pattern match tool PUMA
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Uwe Assmann and Rainer Schmidt
Sep. 12 1997