Pushing the Frontiers of Combining Rewrite Systems Farther Outwards.

Jürgen Giesl Enno Ohlebusch

Published in: FroCoS (1998)

Keyphrases

rewrite systems
term rewriting
knuth bendix
quantifier free
artificial intelligence
active rules
databases
database
database systems
distributed databases